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
  

Last update Fri May 17 20:07:02 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page