swMATH22720MaRDI QIDQ34511FDOQ34511
Author name not available (Why is that?)
Official website: https://dl.acm.org/citation.cfm?doid=1926385.1926436
Cited In (19)
- Modular inference of linear types for multiplicity-annotated arrows
- QML
- Polymorphic lambda calculus with context-free session types
- Linearity, control effects, and behavioral types
- A message-passing interpretation of adjoint logic
- Title not available (Why is that?)
- Polyglot
- Lilac
- Cyclone
- Fugue
- PLURAL
- FliPpr
- Mezzo
- Cogent
- Rust
- FreeST
- Modular session types for objects
- Type classes for lightweight substructural types
- Context-free session type inference
This page was built for software: Alms
