Vellvm: Formalizing the LLVM Intermediate Representation for Verified Program Transformations
operational semanticsVellvm: Formalizing the LLVM Intermediate Representation for Ver...Lambda the Ultimate - Programming Languages Weblog Sat, 01/28/2012 - 09:57
Tags:
Monads in ActionLambda the Ultimate - Programming Languages Weblog Wed, 02/03/2010 - 07:17
Monads in Action, Andrzej Filinski, POPL 2010. Tags:
Pattern CalculusLambda the Ultimate - Programming Languages Weblog Sat, 11/28/2009 - 10:28
Barry Jay has recently published a book on the Pattern Calculus (which has been discussed before). Fully-parameterized, first-class modules with hygienic macrosLambda the Ultimate - Programming Languages Weblog Fri, 06/19/2009 - 12:20
Fully-parameterized, first-class modules with hygienic macros, dissertation by Martin Gasbichler, 2006. Tags:
A Machine-Checked Model for a Java-Like Language, Virtual Machin...Lambda the Ultimate - Programming Languages Weblog Thu, 02/12/2009 - 17:16
G. Klein and T. Nipkow, A Machine-Checked Model for a Java-Like Language, Virtual Machine, and Compiler, ACM TOPLAS, vol. 28, no. 4, 2006. Revisiting CoroutinesLambda the Ultimate - Programming Languages Weblog Mon, 06/23/2008 - 12:29
Revisiting Coroutines, by Ana Lucia de Moura and Roberto Ierusalimschy: Tags:
|
