Type-Theoretic Methodology For Practical Programming Languages (1998)

by Karl Fredrick Crary
Venue:DEPARTMENT OF COMPUTER SCIENCE, CORNELL UNIVERSITY
Citations:22 - 3 self

Documents Related by Co-Citation

268 A Type-Theoretic Approach to Higher-Order Modules with Sharing – Robert Harper, Mark Lillibridge - 1994
224 Manifest Types, Modules, and Separate Compilation – Xavier Leroy - 1994
103 On The Type Structure of Standard ML – Robert Harper, John C. Mitchell - 1993
106 Applicative Functors and Fully Transparent Higher-Order Modules – Xavier Leroy - 1995
58 Translucent Sums: A Foundation for Higher-Order Module Systems – Mark Lillibridge - 1997
605 The Definition of Standard ML (Revised – Robin Milner, Mads Tofte, Robert Harper, David Macqueen - 1997
445 The formulae-as-types notion of construction – W A Howard - 1980
264 Constructive mathematics and computer programming – P Martin-Lof - 1982
42 Simple objects for Standard ML – John Reppy, Jon Riecke - 1996
162 A Lambda Calculus of Objects and Method Specialization – Kathleen Fisher, Computer Science Dept, Furio Honsell, John C. Mitchell - 1994
9 Hierarchical Modularity And Intermodule Optimization – Matthias Blume - 1997
37 An Interpretation of Standard ML in Type Theory – Robert Harper, Christopher Stone - 1997
69 Explicit Polymorphism and CPS Conversion – Robert Harper , Mark Lillibridge - 1992
156 An intuitionistic theory of types: predicative part – P Martin-Löf - 1975
5 Hierarchical Modularity: Compilation Management for Standard ML – Matthias Blume, Andrew W. Appel - 1997
17 A semantics for higher order functors – D MacQueen, M Tofte - 1994
19 Synchronous operations as first-class values – J H Reppy
19 Privacy via subsumption. Theory and Practice of Object Systems – J G Riecke, C A Stone - 1999
20 Classes in Object ML via Modules – John H. Reppy, Jon G. Riecke - 1996