Subtyping with Singleton Types (1995)

View PDF

Download Links

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

Documents Related by Co-Citation

274 A Type-Theoretic Approach to Higher-Order Modules with Sharing – Robert Harper, Mark Lillibridge - 1994
227 Manifest Types, Modules, and Separate Compilation – Xavier Leroy - 1994
618 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
635 The Definition of Standard ML (Revised – R Milner, M Tofte, R Harper, D B MacQueen - 1997
443 A SOUND TYPE SYSTEM FOR SECURE FLOW ANALYSIS – Dennis Volpano, Geoffrey Smith, Cynthia Irvine - 1996
619 Language-Based Information-Flow Security – Andrei Sabelfeld , Andrew C. Myers - 2003
774 Security policies and security models – J Goguen, J Meseguer - 1982
576 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
486 JFlow: Practical Mostly-Static Information Flow Control – Andrew C. Myers - 1999