Alms

swMATH22720MaRDI QIDQ34511FDOQ34511

Author name not available (Why is that?)

Described by source

• Practical affine types

Cited In (8)

• Polymorphic lambda calculus with context-free session types
• Context-Free Session Type Inference
• A message-passing interpretation of adjoint logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Modular Inference of Linear Types for Multiplicity-Annotated Arrows
• Linearity, Control Effects, and Behavioral Types
• Modular session types for objects

This page was built for software: Alms