Information and Computation
, Volume 155
Volume 155, Numbers 1-2, November/December 1999
Lars Birkedal
,
Robert Harper
: Relational Interpretations of Recursive Types in an Operational Setting. 3-63
Atsushi Ohori
: Type-Directed Specialization of Polymorphism. 64-107
Kim B. Bruce
,
Luca Cardelli
,
Benjamin C. Pierce
: Comparing Object Encodings. 108-133
Jacques Garrigue
,
Didier Rémy
: Semi-Explicit First-Class Polymorphism for ML. 134-169
Marcello M. Bonsangue
,
Joost N. Kok
: Toward an Infinitary Logic of Domains: Abramsky Logic for Transition Systems. 170-201
Copyright ©
Fri Dec 4 20:30:43 2009 by
Michael Ley
(
ley@uni-trier.de
)