Archive for December, 2006
Denotational Semantics
Just found a link to David Schmidt’s Denotational Semantics: A Methodology for Language Development on Lambda the Ultimate. Haven’t checked it out yet, but it looks like a good online reference and source material for looking at declarative descriptions of programming languages.
It still perplexes me why the syntax of programming langauges were so well […]
Posted by Adam Pingel @ December 21st, 2006 under Software Engineering.
Comments: none