First Page | Document Content | |
---|---|---|
Date: 2003-03-26 22:21:47Software engineering Programming language theory Declarative programming Automated theorem proving Logic programming Type theory Lambda calculus Formal methods Higher-order abstract syntax Nuprl Lisp Substitution | Practical Reflection in Nuprl Eli Barzilay Stuart Allen Robert ConstableAdd to Reading ListSource URL: barzilay.orgDownload Document from Source WebsiteFile Size: 63,02 KBShare Document on Facebook |