Alms

swMATH22720MaRDI QIDQ34511

No author found.

Described by source

• Practical affine types

Related Items (8)

Modular Inference of Linear Types for Multiplicity-Annotated Arrows ⋮ Modular session types for objects ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Linearity, Control Effects, and Behavioral Types ⋮ Context-Free Session Type Inference ⋮ A message-passing interpretation of adjoint logic ⋮ Polymorphic lambda calculus with context-free session types

This page was built for software: Alms