Practical affine types

DOI10.1145/1926385.1926436zbMath1284.68109OpenAlexW4242423436MaRDI QIDQ5408563

Jesse A. Tov, Riccardo Pucella

Publication date: 10 April 2014

Published in: Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1926385.1926436

zbMATH Keywords

modulespolymorphismlinear logictype systemsaffine types

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic in computer science (03B70)

Related Items (11)

Modular Inference of Linear Types for Multiplicity-Annotated Arrows ⋮ Unnamed Item ⋮ Linearity and uniqueness: an entente cordiale ⋮ A simple library implementation of binary sessions ⋮ Unnamed Item ⋮ Linearity, Control Effects, and Behavioral Types ⋮ Context-Free Session Type Inference ⋮ Graded modal dependent type theory ⋮ A message-passing interpretation of adjoint logic ⋮ Alms ⋮ Polymorphic lambda calculus with context-free session types

Uses Software

• ML

This page was built for publication: Practical affine types