Subtyping with Singleton Types (1995)

Cached

Download Links

by David Aspinall
Venue:In Eighth International Workshop on Computer Science Logic
Citations:46 - 3 self

Documents Related by Co-Citation

267 A Type-Theoretic Approach to Higher-Order Modules with Sharing – Robert Harper, Mark Lillibridge - 1994
223 Manifest Types, Modules, and Separate Compilation – Xavier Leroy - 1994
154 Typed closure conversion – Yasuhiko Minamide, Greg Morrisett, Robert Harper - 1996
34 Typed Cross-Module Compilation – Zhong Shao - 1998
58 Translucent Sums: A Foundation for Higher-Order Module Systems – Mark Lillibridge - 1997
106 Applicative Functors and Fully Transparent Higher-Order Modules – Xavier Leroy - 1995
134 Higher-Order Modules and the Phase Distinction – Robert Harper, John C. Mitchell, Eugenio Moggi - 1990
141 Intensional Polymorphism in Type-Erasure Semantics – Karl Crary, Stephanie Weirich, Greg Morrisett - 2002
52 A Typed Operational Semantics for Type Theory – H Goguen - 1994
17 Type Systems for Modular Programs and Specifications – David Aspinall - 1997
101 Secure Information Flow and Pointer Confinement in a Java-like Language – Anindya Banerjee, David A. Naumann - 2002
413 A SOUND TYPE SYSTEM FOR SECURE FLOW ANALYSIS – Dennis Volpano, Geoffrey Smith, Cynthia Irvine - 1996
172 Refinement types for ML – Tim Freeman - 1994
288 Dependent Types in Practical Programming – Hongwei Xi, Dana Scott - 1998
83 On Equivalence and Canonical Forms in the LF Type Theory – Robert Harper, Frank Pfenning - 2001
107 An algorithm for testing conversion in type theory – T Coquand - 1991
125 Using dependent types to express modular structure – David Macqueen, David Macqueen - 1986
259 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
24 Extension of Martin-Löf's Type Theory with Record Types and Subtyping – Gustavo Betarte, Alvaro Tasistro - 1998