Alms

MaRDI QIDQ34511swMATHFDO

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

Described by source

• Practical affine types

Cited in

(19)

• A message-passing interpretation of adjoint logic
• Polyglot
• Lilac
• Polymorphic lambda calculus with context-free session types
• Cyclone
• PLURAL
• Fugue
• FliPpr
• Mezzo
• Linearity, control effects, and behavioral types
• Context-free session type inference
• Cogent
• Modular session types for objects
• Rust
• LNL-FPC: the linear/non-linear fixpoint calculus
• Type classes for lightweight substructural types
• Modular inference of linear types for multiplicity-annotated arrows
• FreeST
• QML

This page was built for software: Alms