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

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
154 Typed closure conversion – Yasuhiko Minamide, Greg Morrisett, Robert Harper - 1996
34 Typed Cross-Module Compilation – Zhong Shao - 1998
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
58 Translucent Sums: A Foundation for Higher-Order Module Systems – Mark Lillibridge - 1997
142 Intensional Polymorphism in Type-Erasure Semantics – Karl Crary, Stephanie Weirich, Greg Morrisett - 2002
70 Subtyping Dependent Types – David Aspinall, Adriana Compagnoni - 2000
52 A typed operational semantics for type theory – H Goguen - 1994
17 Type Systems for Modular Programs and Specifications – David Aspinall - 1997
414 A SOUND TYPE SYSTEM FOR SECURE FLOW ANALYSIS – Dennis Volpano, Geoffrey Smith, Cynthia Irvine - 1996
101 Secure Information Flow and Pointer Confinement in a Java-like Language – Anindya Banerjee, David A. Naumann - 2002
172 Refinement types for ML – Tim Freeman - 1994
290 Dependent Types in Practical Programming – Hongwei Xi, Dana Scott - 1998
13 Typed operational semantics for higher order subtyping – Adriana Compagnoni, Healfdene Goguen - 1997
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
125 Using dependent types to express modular structure – David Macqueen, David Macqueen - 1986