„intersection types“

Suchergebnisse

1.000+ Treffer

• Nutrient-poor grasslands on siliceous soil in the lower Aar valley (Middle Hesse, Germany) : neglected vegetation types in the intersection range of four classes
  Becker, Thomas ; Schmiege, Christine ; Bergmeier, Erwin ; Dengler, Jürgen ; Nowak, Bernd
• Bounded Combinatory Logic
  Düdder, Boris ; Martens, Moritz ; Rehof, Jakob ; Urzyczyn, Pawel 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Call-By-Value, Again!
  Kerinec, Axel ; Manzonetto, Giulio ; Ronchi Della Rocca, Simona 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Union, intersection, and refinement types and reasoning about type disjointness for security protocol analysis
  Hritcu, Cătălin ; Backes, Michael 2012 Saarländische Universitäts- und Landesbibliothek
• Kripke Semantics for Intersection Formulas
  Dudenhefner, Andrej ; Urzyczyn, Paweł 2021 Saarländische Universitäts- und Landesbibliothek
• Effects of intersection control types on driver yielding behavior to cyclists using mixed logit modeling
  Abushattal, Mousa ; Alhomaidat, Fadi ; El-Yabroudi, Mohammad
• Finite Combinatory Logic with Predicates
  Dudenhefner, Andrej ; Stahl, Christoph ; Chaumet, Constantin ; Laarmann, Felix ; Rehof, Jakob 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Separating Terms by Means of Multi Types, Coinductively
  Lancelot, Adrienne 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Quantitative Types for the Functional Machine Calculus
  Heijltjes, Willem 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Unsolvable Terms in Filter Models (Invited Talk)
  Dezani-Ciancaglini, Mariangiola ; Giannini, Paola ; Honsell, Furio 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Assessing pedestrian safety at urban signalized intersections across various land use types: insights from a mid-sized Indian city
  Mukherjee, Dipanjan
• Semantic Subtyping for Non-Strict Languages
  Petrucciani, Tommaso ; Castagna, Giuseppe ; Ancona, Davide ; Zucca, Elena 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Mirroring Call-By-Need, or Values Acting Silly
  Accattoli, Beniamino ; Lancelot, Adrienne 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Mechanized Subject Expansion in Uniform Intersection Types for Perpetual Reductions
  Dudenhefner, Andrej ; Pautasso, Daniele 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Dependent Merges and First-Class Environments (Artifact)
  Tan, Jinhao ; Oliveira, Bruno C. d. S.
• Union Types with Disjoint Switches (Artifact)
  Rehman, Baber ; Huang, Xuejing ; Xie, Ningning ; Oliveira, Bruno C. d. S.
• Direct Foundations for Compositional Programming (Artifact)
  Fan, Andong ; Huang, Xuejing ; Xu, Han ; Sun, Yaozhu ; Oliveira, Bruno C. d. S.
• A Type-Directed Operational Semantics For a Calculus with a Merge Operator (Artifact)
  Huang, Xuejing ; Oliveira, Bruno C. d. S.
• The Essence of Nested Composition (Artifact)
  Bi, Xuan ; Oliveira, Bruno C. d. S. ; Schrijvers, Tom
• Semantic Bounds and Multi Types, Revisited
  Accattoli, Beniamino 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik