Alms

MaRDI QIDQ34511swMATHFDO

Official website https://dl.acm.org/citation.cfm?doid=1926385.1926436

Described by source

• Practical affine types

Cited in

(19)

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

This page was built for software: Alms