Karl F. Crary. Type-Theoretic Methodology for Practical Programming Languages. PhD thesis, Department of Computer Science, Cornell University, 1998. Home/Search Document Details and Download
Context Related Articles Check |
This paper is cited by the following papers:
Type-Safe Linking and Modular Assembly Language - Glew, Morrisett (1999) (50 citations) (Correct)
Deciding Type Equivalence in a Language with Singleton Kinds - Stone, Harper (2000) (15 citations) (Correct)
Deciding Type Equivalence in a Language with Singleton Kinds - Stone, Harper (1999) (15 citations) (Correct)
Naïve Type Theory - Constable (2002) (Correct)
Deciding Type Equivalence in a Language with Singleton Kinds - Stone, Harper (1999) (15 citations) (Correct)
Deciding Type Equivalence in a Language with Singleton Kinds - Stone, Harper (1999) (15 citations) (Correct)
Deciding Type Equivalence in a Language with Singleton Kinds - Christopher Stone (1999) (15 citations) (Correct)
Deciding Type Equivalence in a Language with Singleton Kinds - Christopher Stone (1999) (15 citations) (Correct)
Type-Safe Linking and Modular Assembly Language - Glew, Morrisett (1999) (50 citations) (Correct)
Principles and a Preliminary Design for ML2000 - Group (1999) (Correct)
Deciding Type Equivalence in a Language with Singleton Kinds - Stone, Harper (1999) (15 citations) (Correct)
Deciding Type Equivalence in a Language with Singleton Kinds - Stone, Harper (1999) (15 citations) (Correct)
Subtyping with Power Types - David Aspinall Http (2000) (Correct)
Subtyping with Power Types - Aspinall (2000) (Correct)
Computational Complexity and Induction for Partial.. - Constable, Crary (1999) (3 citations) Self-citation (Crary) (Correct)
Admissibility of Fixpoint Induction over Partial Types - Crary (1998) (2 citations) Self-citation (Crary) (Correct)
Admissibility of Fixpoint Induction over Partial Types - Crary (1998) (2 citations) Self-citation (Crary) (Correct)
Programming Language Semantics in Foundational Type Theory - Crary (1998) (1 citation) Self-citation (Crary) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC