On regions and linear types (extended abstract)

DOI10.1145/507635.507658zbMath1323.68174OpenAlexW2092234164MaRDI QIDQ5178008

No author found.

Publication date: 9 March 2015

Published in: Proceedings of the sixth ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (6)

A Kripke logical relation for effect-based program transformations ⋮ Static typing for a substructural lambda calculus ⋮ LINCX: A Linear Logical Framework with First-Class Contexts ⋮ Context-Free Session Type Inference ⋮ Typing Safe Deallocation ⋮ Program equivalence in linear contexts

This page was built for publication: On regions and linear types (extended abstract)