Search results for "ITRS"

Hits ?▲	Authors	Title	Venue	Year	Link
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

Publications at "ITRS"( http://dblp.L3S.de/Venues/ITRS )