- The undecidability of the semi-unification problem A. J. Kfoury J. Tiuryn P. Urzyczyn Thu 04 July 2013
- Type reconstruction in the presence of polymorphic recursion A. J. Kfoury J. Tiuryn P. Urzyczyn Thu 04 July 2013
- Principality and decidable type inference for finite-rank intersection types A. J. Kfoury J. B. Wells Thu 04 July 2013
- Relating typability and expressiveness in finite-rank intersection type systems (extended abstract) Assaf J. Kfoury Harry G. Mairson Franklyn A. Turbak J. B. Wells Thu 04 July 2013
- Intersection type disciplines in lambda calculus and applicative term rewriting systems Steffen van Bakel Thu 04 July 2013
- Polymorphic type inference Daniel Leivant Thu 04 July 2013
- Principal type scheme and unification for intersection type discipline S. Ronchi Della Rocca Thu 04 July 2013
- Embedding a second-order type system into an intersection type system Hirofumi Yokouchi Thu 04 July 2013
- The inhabitation problem for rank two intersection types Dariusz Kuśmierek Thu 04 July 2013
- Inhabitation of Low-Rank Intersection Types Paweł Urzyczyn Thu 04 July 2013
- Principal Type Schemes and Lambda-calculus Semantics Mario Coppo Mariangiola Dezani-Ciancaglini Betti Venneri Thu 04 July 2013
- An extension of the basic functionality theory for the łambda-calculus Mario Coppo Mariangiola Dezani-Ciancaglini Thu 04 July 2013
- Une Extension de la Theorie des Types en łambda-Calcul Patrick Sallé Thu 04 July 2013
- A type assignment for the strongly normalizable łambda-terms Garrel Pottinger Thu 04 July 2013
- Principal type-schemes for functional programs Luis Damas Robin Milner Thu 04 July 2013
- Type-base flow analysis: from polymorphic subtyping to CFL-reachability Jakob Rehof Manuel Fahndrich Thu 04 July 2013
- Infinite intersection types Marcello M. Bonsangue Joost N. Kok Thu 04 July 2013
- On Typability for Rank-2 Intersection Types with Polymorphic Recursion T. Terauchi A. Aiken Thu 04 July 2013
- Typability and type checking in System F are equivalent and undecidable J.B. Wells Thu 04 July 2013
- Programming Examples Needing Polymorphic Recursion J. J. Hallett A. J. Kfoury Thu 04 July 2013
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
