Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Naoki Kobayashi 0001 (eds.) |
Proceedings Eighth Workshop on Intersection Types and Related Systems, ITRS 2016, Porto, Portugal, 26th June 2016. |
ITRS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Pawel Parys |
Intersection Types and Counting. |
ITRS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Steffen van Bakel |
Characterisation of Approximation and (Head) Normalisation for λμ using Strict Intersection Types. |
ITRS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Cosku Acay, Frank Pfenning |
Intersections and Unions of Session Types. |
ITRS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Mario Coppo, Mariangiola Dezani-Ciancaglini, Alejandro Díaz-Caro, Ines Margaria, Maddalena Zacchi |
Retractions in Intersection Types. |
ITRS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jakob Rehof (eds.) |
Proceedings Seventh Workshop on Intersection Types and Related Systems, ITRS 2014, Vienna, Austria, 18 July 2014. |
ITRS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Mário Pereira, Sandra Alves, Mário Florido |
Liquid Intersection Types. |
ITRS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria, Maddalena Zacchi |
On Isomorphism of "Functional" Intersection and Union Types. |
ITRS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Kentaro Kikuchi |
Uniform Proofs of Normalisation and Approximation for Intersection Types. |
ITRS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Marcin Benke, Viviana Bono, Aleksy Schubert |
Lucretia - intersection type polymorphism for scripting languages. |
ITRS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Rick Statman |
A Finite Model Property for Intersection Types. |
ITRS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Charles Grellois, Paul-André Melliès |
Indexed linear logic and higher-order model checking. |
ITRS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jan Bessai, Boris Düdder, Andrej Dudenhefner, Tzu-Chun Chen, Ugo de'Liguoro |
Typing Classes and Mixins with Intersection Types. |
ITRS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Stéphane Graham-Lengrand, Luca Paolini (eds.) |
Proceedings Sixth Workshop on Intersection Types and Related Systems, ITRS 2012, Dubrovnik, Croatia, 29th June 2012. |
ITRS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria, Maddalena Zacchi |
Toward Isomorphism of Intersection and Union types. |
ITRS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Erika De Benedetti, Simona Ronchi Della Rocca |
Bounding normalization time through intersection types. |
ITRS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jana Dunfield |
Annotations for Intersection Typechecking. |
ITRS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Steffen van Bakel, Franco Barbanera, Ugo de'Liguoro |
Characterisation of Strongly Normalising lambda-mu-Terms. |
ITRS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Davide Ancona, Paola Giannini, Elena Zucca |
Reconciling positional and nominal binding. |
ITRS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | 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 |
DBLP DOI BibTeX RDF |
|
1 | Elaine Pimentel, Betti Venneri, Joe B. Wells (eds.) |
Proceedings Fifth Workshop on Intersection Types and Related Systems, ITRS 2010, Edinburgh, U.K., 9th July 2010. |
ITRS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Luca Padovani |
Session Types = Intersection Types + Union Types |
ITRS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Simona Ronchi Della Rocca, Alexis Saurin, Yiorgos Stavrinos, Anastasia Veneti |
Intersection Logic in sequent calculus style |
ITRS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jana Dunfield |
Untangling Typechecking of Intersections and Unions |
ITRS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Adriana B. Compagnoni, Healfdene Goguen |
Relating Church-Style and Curry-Style Subtyping |
ITRS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Vilhelm Sjöberg, Aaron Stump |
Equality, Quasi-Implicit Products, and Large Eliminations |
ITRS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Mariangiola Dezani-Ciancaglini, Paola Giannini, Elena Zucca |
Intersection types for unbind and rebind |
ITRS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Steffen van Bakel |
Sound and Complete Typing for lambda-mu |
ITRS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Mario Coppo, Ferruccio Damiani (eds.) |
Proceedings of the Third International Workshop on Intersection Types and Related Systems, ITRS 2004, Turku, Finland, July 13, 2004 |
ITRS |
2005 |
DBLP BibTeX RDF |
|
1 | Sébastien Carlier, J. B. Wells |
Expansion: the Crucial Mechanism for Type Inference with Intersection Types: A Survey and Explanation. |
ITRS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | J. J. Hallett, Assaf J. Kfoury |
Programming Examples Needing Polymorphic Recursion. |
ITRS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Fabio Alessi, Mariangiola Dezani-Ciancaglini |
Type Preorders and Recursive Terms. |
ITRS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Sergio Maffeis |
Sequence Types for the pi-calculus. |
ITRS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Luigi Liquori, Simona Ronchi Della Rocca |
Towards an Intersection Typed System à la Church. |
ITRS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Luca Paolini, Elaine Pimentel, Simona Ronchi Della Rocca |
Lazy Strong Normalization. |
ITRS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Daniel de Carvalho |
Intersection Types for Light Affine Lambda Calculus. |
ITRS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Steffen van Bakel |
Intersection and Union Types for chi. |
ITRS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Mario Coppo, Ferruccio Damiani |
Preface. |
ITRS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Daniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne |
Intersection and Union Types in the lambda-my-my/tilde-calculus. |
ITRS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Gérard Boudol, Pascal Zimmer |
On Type Inference in the Intersection Type Discipline. |
ITRS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Steffen van Bakel (eds.) |
Intersection Types and Related Systems, ITRS 2002, FLoC Satellite Event, Copenhagen, Denmark, July 26, 2002 |
ITRS |
2003 |
DBLP BibTeX RDF |
|
1 | Mariangiola Dezani-Ciancaglini, Alain Frisch, Elio Giovannetti, Yoko Motohama |
The Relevance of Semantic Subtyping. |
ITRS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Assaf J. Kfoury, Geoffrey Washburn, Joe B. Wells |
Implementing Compositional Analysis Using Intersection Types With Expansion Variables. |
ITRS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Sébastien Carlier |
Polar Type Inference with Intersection Types and omega. |
ITRS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Steffen van Bakel |
Strongly Normalising Cut-Elimination with Strict Intersection Types. |
ITRS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Frank Pfenning |
Invited talk: Tri-Directional Type Checking. |
ITRS |
2002 |
DBLP BibTeX RDF |
|
1 | Judicaël Courant |
Strong Normalization with Singleton Types. |
ITRS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Leivant |
Feasible functionals and intersection of ramified types. |
ITRS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Simona Ronchi Della Rocca |
Intersection Typed lambda-calculus. |
ITRS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Steffen van Bakel |
Preface. |
ITRS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Silvia Ghilezan, Silvia Likavec |
Reducibility: A Ubiquitous Method in Lambda Calculus with Intersection Types. |
ITRS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Ugo de'Liguoro |
Subtyping in Logical Form. |
ITRS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Fabio Alessi, Stefania Lusin |
Simple Easy Terms. |
ITRS |
2002 |
DBLP DOI BibTeX RDF |
|