The best of both worlds: linear functional programming without compromise

DOI10.1145/2951913.2951925zbMath1360.68336arXiv1612.06633OpenAlexW2510433231MaRDI QIDQ2985794

J. Garrett Morris

Publication date: 10 May 2017

Published in: Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1612.06633

zbMATH Keywords

linear typesqualified typessubstructural types

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (3)

Modular Inference of Linear Types for Multiplicity-Annotated Arrows ⋮ Unnamed Item ⋮ Linearity and uniqueness: an entente cordiale

This page was built for publication: The best of both worlds: linear functional programming without compromise