Subtyping with Singleton Types (1995)

Cached

Download Links

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

Documents Related by Co-Citation

268 A Type-Theoretic Approach to Higher-Order Modules with Sharing – Robert Harper, Mark Lillibridge - 1994
224 Manifest Types, Modules, and Separate Compilation – Xavier Leroy - 1994
12 Sound and Complete Elimination of Singleton Kinds – Karl Crary - 2000
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
135 Higher-Order Modules and the Phase Distinction – Robert Harper, John C. Mitchell, Eugenio Moggi - 1990
106 Applicative Functors and Fully Transparent Higher-Order Modules – Xavier Leroy - 1995
142 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
414 A SOUND TYPE SYSTEM FOR SECURE FLOW ANALYSIS – Dennis Volpano, Geoffrey Smith, Cynthia Irvine - 1996
172 Refinement types for ML – Tim Freeman - 1994
290 Dependent Types in Practical Programming – Hongwei Xi, Dana Scott - 1998
35 Extensional equivalence and singleton types – Christopher A. Stone, Robert Harper
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 – Thierry Coquand - 1991
696 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993