Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
A Very Modal Model of a Modern, Major, General Type System
 

Summary: A Very Modal Model
of a Modern, Major, General Type System
Andrew W. Appel
Princeton University
INRIA Rocquencourt
appel@princeton.edu
Paul-Andr´e Melli`es
CNRS
Universit´e Paris 7
mellies@pps.jussieu.fr
Christopher D. Richards
Princeton University
richards@cs.princeton.edu
J´er^ome Vouillon
CNRS
Universit´e Paris 7
vouillon@pps.jussieu.fr
Abstract
We present a model of recursive and impredicatively quan-
tified types with mutable references. We interpret in this

  

Source: Appel, Andrew W. - Department of Computer Science, Princeton University
Melliès, Paul-André - Laboratoire Preuves, Programmes et Systèmes, Université Paris 7 - Denis Diderot

 

Collections: Computer Technologies and Information Sciences