„Intersection types“

Suchergebnisse

65 Treffer

• lambda!-calculus, Intersection Types, and Involutions
  Ciaffaglione, Alberto ; Di Gianantonio, Pietro ; Honsell, Furio ; Lenisa, Marina ; Scagnetto, Ivan 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Unfolding Urban Structures: Towards Route Prediction and Automated City Modeling (Short Paper)
  Fogliaroni, Paolo ; Mc Cutchan, Marvin ; Navratil, Gerhard ; Giannopoulos, Ioannis 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Intersections of Our World
  Fogliaroni, Paolo ; Bucher, Dominik ; Jankovic, Nikola ; Giannopoulos, Ioannis 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Essence of Nested Composition
  Bi, Xuan ; Oliveira, Bruno C. d. S. ; Schrijvers, Tom 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Completeness of BCD for an Operational Semantics
  Statman, Richard 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Intersection Types and Denotational Semantics: An Extended Abstract (Invited Paper)
  Ronchi Della Rocca, Simona 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Recursion Schemes and the WMSO+U Logic
  Parys, Pawel 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Complexity of the Diagonal Problem for Recursion Schemes
  Parys, Pawel 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Types as Resources for Classical Natural Deduction
  Kesner, Delia ; Vial, Pierre 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• On Word and Frontier Languages of Unsafe Higher-Order Grammars
  Asada, Kazuyuki ; Kobayashi, Naoki 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Observability for Pair Pattern Calculi
  Bucciarelli, Antonio ; Kesner, Delia ; Ronchi Della Rocca, Simona 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Mixin Composition Synthesis Based on Intersection Types
  Bessai, Jan ; Dudenhefner, Andrej ; Düdder, Boris ; Chen, Tzu-Chun ; de’Liguoro, Ugo ; Rehof, Jakob 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Trust, but Verify: Two-Phase Typing for Dynamic Languages
  Vekris, Panagiotis ; Cosman, Benjamin ; Jhala, Ranjit 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Isomorphism of "Functional" Intersection Types
  Coppo, Mario ; Dezani-Ciancaglini, Mariangiola ; Margaria, Ines ; Zacchi, Maddalena 2014 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Intersection Types for Normalization and Verification (Invited Talk)
  Terui, Kazushige 2013 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Saturation-Based Model Checking of Higher-Order Recursion Schemes
  Broadbent, Christopher ; Kobayashi, Naoki 2013 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Collapsing non-idempotent intersection types
  Ehrhard, Thomas 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Semantic Evaluation, Intersection Types and Complexity of Simply Typed Lambda Calculus
  Terui, Kazushige 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Filter Models: Non-idempotent Intersection Types, Orthogonality and Polymorphism
  Bernadet, Alexis ; Lengrand, Stéphane 2011 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Deconfined Intersection Types in Java
  Dezani-Ciancaglini, Mariangiola ; Giannini, Paola ; Venneri, Betti 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik