Update to "Parametric Higher-Order Abstract Syntax for Mechanized Semantics"

This is just to note that I recently updated Parametric Higher-Order Abstract Syntax for Mechanized Semantics to reflect the fact that a draft of the paper is available, for those who might be interested.

Comment viewing options

Select your preferred way to display the comments and click "Save settings" to activate your changes.

New Lambda Tamer Release

I just wish to note that Lambda Tamer is now at its 20080620 release, which apparently includes support for impure object languages and a case study for the CPS transform for an idealized core ML. It's nice to see Adam Chlipala making steady progress on his work on making the development of certified compilers for increasingly-practical languages a reality.