default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInformation and Computation, Volume 109
Volume 109, Number 1-2, 1994
- Mariangiola Dezani-Ciancaglini:
Preface. Inf. Comput. 109(1/2): 1-3 (1994) - 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-05 22:23 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
