The MetaPRL Logical Programming Environment - Volume I (2001)

by Jason Jonathan Hickey

Active Bibliography

22 Type-Theoretic Methodology For Practical Programming Languages – Karl Fredrick Crary - 1998
4 A Predicative Type-Theoretic Interpretation of Objects – Jason J. Hickey - 1997
17 Higher-Order Intersection Types and Multiple Inheritance – Adriana B. Compagnoni, Benjamin C. Pierce - 1995
29 Formal Objects in Type Theory Using Very Dependent Types – Jason J. Hickey - 1996
45 On subtyping and matching – Luca Cardelli - 1995
137 PolyTOIL: A type-safe polymorphic object-oriented language – Kim B. Bruce, Adrian Fiech, Angela Schuett, Robert Van Gent - 1995
Naïve Type Theory – Robert L. Constable - 2002
5 Naïve computational type theory – Robert L. Constable - 2002
12 A Computational Approach to Reflective Meta-Reasoning about Languages with Bindings – Aleksey Nogin, Alexei Kopylov, Xin Yu, Jason Hickey - 2005
9 The structure of nuprl’s type theory – Robert L. Constable - 1997
19 Dependent Intersection: A New Way of Defining Records in Type Theory – Alexei Kopylov
The Triumph of Types: Principia Mathematica’s Impact on Computer Science – Robert L. Constable
26 A Theory of Primitive Objects – Martín Abadi, Luca Cardelli - 1994
37 A Unifying Type-Theoretic Framework for Objects – Martin Hofmann, Benjamin Pierce - 1993
26 An imperative object calculus – Martín Abadi, Luca Cardelli - 1995
6 Objects, Types and Modal Logics – Dan S. Andersen, Lars H. Pedersen, Hans Hüttel, Josva Kleist - 1996
44 Enhancing the Nuprl Proof Development System and Applying it to Computational Abstract Algebra – Paul Bernard Jackson - 1995
3 Decidability Extracted: Synthesizing ``Correct-by-Construction'' Decision Procedures from Constructive Proofs – James L. Caldwell, II - 1998
Sous-Typage Et Programmation Orientée à Objets – Giuseppe Castagna