Bunched polymorphism
From MaRDI portal
Publication:3545274
Recommendations
- Computer Science Logic
- scientific article; zbMATH DE number 3907754
- scientific article; zbMATH DE number 1420792
- scientific article; zbMATH DE number 1630109
- scientific article; zbMATH DE number 7359806
- Polymorphic typed defunctionalization
- scientific article; zbMATH DE number 742721
- Multiple polymorphic arguments in single dispatch object oriented languages
- Formal parametric polymorphism
- Functorial polymorphism
Cites work
- A new approach to abstract syntax with variable binding
- A small complete category
- Adjointness in Foundations
- An ideal model for recursive polymorphic types
- Categorical semantics for higher order polymorphic lambda calculus
- Kripke-style models for typed lambda calculus
- Linear logic
- On bunched typing
- Operational properties of \texttt{Lily}, a polymorphic linear lambda calculus with recursion
- Possible worlds and resources: The semantics of \(\mathbf{BI}\)
- Sheaves in geometry and logic: a first introduction to topos theory
- The Logic of Bunched Implications
Cited in
(12)- A theory of bunches
- A stone-type duality theorem for separation logic via its underlying bunched logics
- Algebra and logic for resource-based systems modelling
- On bunched typing
- Bunched logics displayed
- A unified display proof theory for bunched logic
- Computer Science Logic
- Abstract hidden Markov models: a monadic account of quantitative information flow
- Bunching for regions and locations
- Strong update, disposal, and encapsulation in bunched typing
- Stone-type dualities for separation logics
- scientific article; zbMATH DE number 4013997 (Why is no real title available?)
This page was built for publication: Bunched polymorphism
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3545274)
