First Page | Document Content | |
---|---|---|
Date: 2015-03-01 20:27:46Data types Functional programming Type theory Compiler construction Procedural programming languages LLVM Type system Static single assignment form C Software engineering Computing Computer programming | Type-safe Runtime Code Generation with LLVM Trevor L. McDonell1,2 1 Manuel M. T. Chakravarty2Add to Reading ListSource URL: www.cse.unsw.edu.auDownload Document from Source WebsiteFile Size: 1,05 MBShare Document on Facebook |