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