Date: 2008-07-19 02:12:20Lambda calculus Type theory Logic in computer science Models of computation Data types Combinatory logic Denotational semantics Eval Type system Computing Software engineering Theoretical computer science | | Interpreting types as abstract values Oleg Kiselyov (FNMOC) Chung-chieh Shan (Rutgers University) Formosan Summer School on Logic, Language, and Computation July 9–10, 2008 AbstractAdd to Reading ListSource URL: okmij.orgDownload Document from Source Website File Size: 198,05 KBShare Document on Facebook
|