Type-Theoretic Methodology For Practical Programming Languages (1998)

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

Active Bibliography

5 Programming Language Semantics in Foundational Type Theory – K. Crary - 1996
103 On The Type Structure of Standard ML – Robert Harper, John C. Mitchell - 1993
Graduate Group Chairpersonc ○ Copyright 2001 – Michael Hicks, Scott M. Nettles, Val Tannen, Michael Hicks Acknowledgements - 2001
187 Dynamic Software Updating – Michael Hicks - 2001
Type Theory for Programming Languages – Robert Harper - 1994
Naïve Type Theory – Robert L. Constable - 2002
5 Naïve computational type theory – Robert L. Constable - 2002
4 Low-Level Type Systems for Modularity and Object-Oriented Constructs – Arthur Neal Glew - 2000
19 Higher Order Logic – Daniel Leivant - 1994
15 NuPRL’s class theory and its applications – Robert L. Constable, Jason Hickey - 2000
154 Typed closure conversion – Yasuhiko Minamide, Greg Morrisett, Robert Harper - 1996
12 A Type System for Computer Algebra – Philip S. Santas - 1994
11 Computational Complexity and Induction for Partial Computable Functions in Type Theory – Robert L. Constable, Karl Crary - 1999
14 From Hindley-Milner types to first-class structures – Mark P. Jones - 1995
Types in Programming Languages – Carlos Camarão, Lucília Figueiredo, Elaine Pimentel
15 Advanced Languages for Systems Software The Fox Project in 1994 – Robert Harper, Peter Lee - 1994
83 A Type System for Higher-Order Modules – Derek Dreyer, Karl Crary, Robert Harper - 2003
227 TIL: A Type-Directed Optimizing Compiler for ML – David Tarditi , Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee - 1995
89 A Type-Theoretic Interpretation of Standard ML – Robert Harper, Christopher Stone - 2000