First Page | Document Content | |
---|---|---|
Date: 2005-06-23 21:20:00Software 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 TypefulAdd to Reading ListSource URL: www.cs.bu.eduDownload Document from Source WebsiteFile Size: 390,61 KBShare Document on Facebook |