Information and Computation, Volume 109

Volume 109, Number 1-2, 1994

• Mariangiola Dezani-Ciancaglini: Preface. 1-3 BibTeX
• Luca Cardelli, Simone Martini, John C. Mitchell, Andre Scedrov: An Extension of System F with Subtyping. 4-56 BibTeX
• Pierre-Louis Curien, Giorgio Ghelli: Decidability and Confluence of \beta\eta\hboxtop_\le Reduction in F_\le. 57-114 BibTeX
• Paola Giannini, Simona Ronchi Della Rocca: A Type Inference Algorithm for a Stratified Polymorphic Type Discipline. 115-173 BibTeX
• Susumu Hayashi: Singleton, Union and Intersection Types for Program Extraction. 174-210 BibTeX
• Wesley Phoa: From Term Models to Domains. 211-255 BibTeX
• Gordon D. Plotkin: A Semantics for Static Type Inference. 256-299 BibTeX
• Martín Abadi: A Semantics for Static Type Inference in a Nondeterministic Language. 300-306 BibTeX