Computational Complexity and Induction for Partial Computable Functions in Type Theory (1999)

by Robert L. Constable , Karl Crary
Venue:In Preprint
Citations:10 - 7 self

Active Bibliography

22 Type-Theoretic Methodology For Practical Programming Languages – Karl Fredrick Crary - 1998
5 Programming Language Semantics in Foundational Type Theory – K. Crary - 1996
Naïve Type Theory – Robert L. Constable - 2002
5 Naïve computational type theory – Robert L. Constable - 2002
11 Programming With Types – Stephanie Claudene Weirich - 2002
34 Type-Preserving Compilation of Featherweight Java – Christopher League, Valery Trifonov, Zhong Shao - 2001
60 Implementing Typed Intermediate Languages – Zhong Shao, Christopher League, Stefan Monnier - 1998
65 From ML to Ada: Strongly-typed Language Interoperability via Source Translation – Andrew Tolmach, Dino P. Oliva - 1993
16 On the Runtime Complexity of Type-Directed Unboxing – Yasuhiko Minamide, Jacques Garrigue - 1998
18 Higher Order Logic – Daniel Leivant - 1994
227 TIL: A Type-Directed Optimizing Compiler for ML – David Tarditi , Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee - 1995
146 A Linearly Typed Assembly Language – James Cheney, Greg Morrisett
High-Assurance Common Language Runtime – Andrew Appel, David Walker, Zhong Shao, Valery Trifonov
The TIL/ML Compiler: Performance and Safety . . . – G. Morrisett, D. Tarditi, P. Cheng, C. Stone, R. Harper, P. Lee - 1996
11 Using Reflection to Explain and Enhance Type Theory – Robert L. Constable - 1994
5 Compiling with Polymorphic and Polyvariant Flow Types – Franklyn Turbak, Allyn Dimock, Robert Muller, J. B. Wells - 1997
8 From System F to Typed Assembly Language (Extended Version) – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
4 Polymorphic Equality - No Tags Required – Martin Elsman - 1989
Signature: A Type-Passing Implementation of Value Types and Genericity – Tim Owen, Tim Owen