Alms

swMATH22720MaRDI QIDQ34511FDOQ34511

Author name not available (Why is that?)

Described by source

• Practical affine types

Cited In (8)

• 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
• Title not available (Why is that?)
• Modular session types for objects
• Type classes for lightweight substructural types
• Context-free session type inference

This page was built for software: Alms