„intersection types“
Suchergebnisse
65 Treffer
-
The Ackermann Award 2023
-
Linear Rank Intersection Types
-
Dependent Merges and First-Class Environments
-
A Quantitative Version of Simple Types
-
Types and Terms Translated: Unrestricted Resources in Encoding Functions as Processes
-
Unboundedness for Recursion Schemes: A Simpler Type System
-
Union Types with Disjoint Switches
-
Direct Foundations for Compositional Programming
-
Encoding Tight Typing in a Unified Framework
-
Non-Deterministic Functions as Non-Deterministic Processes
-
Categorifying Non-Idempotent Intersection Types
-
A Deep Quantitative Type System
-
Pregrammars and Intersection Types
-
A Quantitative Understanding of Pattern Matching
-
A Type Checker for a Logical Framework with Union and Intersection Types (System Description)
-
Solvability in a Probabilistic Setting (Invited Talk)
-
Row and Bounded Polymorphism via Disjoint Polymorphism
-
A Type-Directed Operational Semantics For a Calculus with a Merge Operator
-
Sequence Types for Hereditary Permutators
-
The Delta-calculus: Syntax and Types