Information and Computation, Volume 109

Volume 109, Number 1-2, 1994

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