Login / Signup
ITRS
2003
2007
2013
2017
2003
2017
Keyphrases
Publications
volume 242, 2017
Proceedings Eighth Workshop on Intersection Types and Related Systems, ITRS 2016, Porto, Portugal, 26th June 2016.
ITRS
242 (2017)
2016
Pawel Parys
Intersection Types and Counting.
ITRS
(2016)
Steffen van Bakel
Characterisation of Approximation and (Head) Normalisation for λμ using Strict Intersection Types.
ITRS
(2016)
Cosku Acay
,
Frank Pfenning
Intersections and Unions of Session Types.
ITRS
(2016)
Mario Coppo
,
Mariangiola Dezani-Ciancaglini
,
Alejandro Díaz-Caro
,
Ines Margaria
,
Maddalena Zacchi
Retractions in Intersection Types.
ITRS
(2016)
volume 177, 2015
Proceedings Seventh Workshop on Intersection Types and Related Systems, ITRS 2014, Vienna, Austria, 18 July 2014.
ITRS
177 (2015)
2014
Mário Pereira
,
Sandra Alves
,
Mário Florido
Liquid Intersection Types.
ITRS
(2014)
Mario Coppo
,
Mariangiola Dezani-Ciancaglini
,
Ines Margaria
,
Maddalena Zacchi
On Isomorphism of "Functional" Intersection and Union Types.
ITRS
(2014)
Kentaro Kikuchi
Uniform Proofs of Normalisation and Approximation for Intersection Types.
ITRS
(2014)
Marcin Benke
,
Viviana Bono
,
Aleksy Schubert
Lucretia - intersection type polymorphism for scripting languages.
ITRS
(2014)
Rick Statman
A Finite Model Property for Intersection Types.
ITRS
(2014)
Charles Grellois
,
Paul-André Melliès
Indexed linear logic and higher-order model checking.
ITRS
(2014)
Jan Bessai
,
Boris Düdder
,
Andrej Dudenhefner
,
Tzu-Chun Chen
,
Ugo de'Liguoro
Typing Classes and Mixins with Intersection Types.
ITRS
(2014)
volume 121, 2013
Proceedings Sixth Workshop on Intersection Types and Related Systems, ITRS 2012, Dubrovnik, Croatia, 29th June 2012.
ITRS
121 (2013)
2012
Mario Coppo
,
Mariangiola Dezani-Ciancaglini
,
Ines Margaria
,
Maddalena Zacchi
Toward Isomorphism of Intersection and Union types.
ITRS
(2012)
Erika De Benedetti
,
Simona Ronchi Della Rocca
Bounding normalization time through intersection types.
ITRS
(2012)
Jana Dunfield
Annotations for Intersection Typechecking.
ITRS
(2012)
Steffen van Bakel
,
Franco Barbanera
,
Ugo de'Liguoro
Characterisation of Strongly Normalising lambda-mu-Terms.
ITRS
(2012)
Davide Ancona
,
Paola Giannini
,
Elena Zucca
Reconciling positional and nominal binding.
ITRS
(2012)
Boris Düdder
,
Oliver Garbe
,
Moritz Martens
,
Jakob Rehof
,
Pawel Urzyczyn
Using Inhabitation in Bounded Combinatory Logic with Intersection Types for Composition Synthesis.
ITRS
(2012)
2010
Luca Padovani
Session Types = Intersection Types + Union Types
ITRS
(2010)
Simona Ronchi Della Rocca
,
Alexis Saurin
,
Yiorgos Stavrinos
,
Anastasia Veneti
Intersection Logic in sequent calculus style
ITRS
(2010)
Jana Dunfield
Untangling Typechecking of Intersections and Unions
ITRS
(2010)
Adriana B. Compagnoni
,
Healfdene Goguen
Relating Church-Style and Curry-Style Subtyping
ITRS
(2010)
Vilhelm Sjöberg
,
Aaron Stump
Equality, Quasi-Implicit Products, and Large Eliminations
ITRS
(2010)
Mariangiola Dezani-Ciancaglini
,
Paola Giannini
,
Elena Zucca
Intersection types for unbind and rebind
ITRS
(2010)
Steffen van Bakel
Sound and Complete Typing for lambda-mu
ITRS
(2010)
volume 45, 2010
Proceedings Fifth Workshop on Intersection Types and Related Systems, ITRS 2010, Edinburgh, U.K., 9th July 2010.
ITRS
45 (2010)