Back to Results
First PageMeta Content
Software engineering / Theoretical computer science / Logic / Logic programming / Models of computation / Functional languages / Computability theory / Lambda calculus / Substitution / Standard ML / Higher-order abstract syntax / Security type system


c 2005 Cambridge University Press JFP 15 (6), Meta-Programming through Typeful
Add to Reading List

Document Date: 2005-06-23 21:20:00


Open Document

File Size: 390,61 KB

Share Result on Facebook
UPDATE