First Page | Document Content | |
---|---|---|
Date: 2010-10-22 08:04:54Lambda calculus Combinatory logic Church encoding Fixed-point combinator Anonymous function Higher-order abstract syntax Type system Unification De Bruijn index Lambda calculus definition | Self-applicable Partial Evaluation for Pure Lambda Calculus Torben Æ. Mogensen DIKU, University of Copenhagen, Denmark AbstractAdd to Reading ListSource URL: repository.readscheme.orgDownload Document from Source WebsiteFile Size: 120,33 KBShare Document on Facebook |
Parametric Higher-Order Abstract Syntax for Mechanized Semantics Adam Chlipala Harvard UniversityDocID: 1xUkW - View Document | |
Reflecting Higher-Order Abstract Syntax in Nuprl? Eli Barzilay and Stuart Allen Cornell University {eli,sfa}@cs.cornell.edu Abstract. This document describes part of an effort to achieve in Nuprl a practical reflection oDocID: 1uwcL - View Document | |
Programming type-safe transformations using higher-order abstract syntax Olivier Savary-Belanger1 , Stefan Monnier2 , and Brigitte Pientka1 1 2DocID: 1tekM - View Document | |
Practical Reflection in Nuprl Eli Barzilay Stuart Allen Robert ConstableDocID: 1qzvV - View Document | |
c 2005 Cambridge University Press JFP 15 (6), Meta-Programming through TypefulDocID: 1quHR - View Document |