Cited in
(19)- Modular inference of linear types for multiplicity-annotated arrows
- scientific article; zbMATH DE number 7350775 (Why is no real title available?)
- QML
- A message-passing interpretation of adjoint logic
- Polyglot
- Lilac
- Cyclone
- Fugue
- PLURAL
- FliPpr
- Mezzo
- Polymorphic lambda calculus with context-free session types
- Cogent
- Rust
- Type classes for lightweight substructural types
- FreeST
- Modular session types for objects
- Context-free session type inference
- Linearity, control effects, and behavioral types
This page was built for software: Alms
