Blogs tagged programming languages

Lambda the Ultimate

programming languages Add Tag
Programming as collaborative reference
Programming as collaborative reference (extended abstract and slides) by everybody's favorite PLT tag team, ...
Posted 1 day, 12 hours ago
The Algebra of Data, and the Calculus of Mutation
Kalani Thielen's The Algebra of Data, and the Calculus of Mutation is a very ...
Posted 2 days, 13 hours ago
Vellvm: Formalizing the LLVM Intermediate Representation for Verified Program Transformations
Vellvm: Formalizing the LLVM Intermediate Representation for Verified Program Transformations This paper presents Vellvm ...
Posted 1 week, 1 day ago
Beyond pure Prolog: Power and danger
One of the sections of Oleg Kiselyov's Prolog and Logic Programming page, on Beyond ...
Posted 1 week, 6 days ago
Deca, an LtU-friendly bare metal systems programming language
The Deca programming language is "a language designed to provide the advanced features of ...
Posted 1 month ago

Suggest a new blog

If you know of a good blog that isn't already listed then suggest it for addition.