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