Programming Language Semantics in Foundational Type Theory (1996)

by K. Crary
Venue:In Proc. the IFIP TC2/WG2.2,2.3 International Conference on Programming Concepts and Methods (PROCOMET’98
Citations:5 - 1 self

Active Bibliography

22 Type-Theoretic Methodology For Practical Programming Languages – Karl Fredrick Crary - 1998
103 On The Type Structure of Standard ML – Robert Harper, John C. Mitchell - 1993
19 Higher Order Logic – Daniel Leivant - 1994
11 Computational Complexity and Induction for Partial Computable Functions in Type Theory – Robert L. Constable, Karl Crary - 1999
8 Monadic Type Systems: Pure Type Systems for Impure Settings (Preliminary Report) – Gilles Barthe, John Hatcliff, Peter Thiemann - 1997
The Triumph of Types: Principia Mathematica’s Impact on Computer Science – Robert L. Constable
8 From System F to Typed Assembly Language (Extended Version) – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
102 Compiling with Types – Greg Morrisett - 1995
15 Advanced Languages for Systems Software The Fox Project in 1994 – Robert Harper, Peter Lee - 1994
90 An Overview of the FLINT/ML Compiler – Zhong Shao - 1997
65 Flexible representation analysis – Zhong Shao - 1997
34 Typed Cross-Module Compilation – Zhong Shao - 1998
227 TIL: A Type-Directed Optimizing Compiler for ML – David Tarditi , Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee - 1995
Thesis Proposal: Effective Type Theory for Modularity – Derek Dreyer, Peter Lee - 2002
88 What is a Recursive Module? – Karl Crary, Robert Harper, Sidd Puri - 1999
76 Flexible Type Analysis – Karl Crary, Stephanie Weirich - 1999
11 Programming With Types – Stephanie Claudene Weirich - 2002
Type Theory for Programming Languages – Robert Harper - 1994
4 Low-Level Type Systems for Modularity and Object-Oriented Constructs – Arthur Neal Glew - 2000