An expressive, scalable type theory for certified code

DOI10.1145/581478.581497zbMath1322.68037OpenAlexW2044253896MaRDI QIDQ2949206

Joseph C. Vanderwaart, Karl Crary

Publication date: 7 October 2015

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

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

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Related Items (1)

TWAM: a certifying abstract machine for logic programs

This page was built for publication: An expressive, scalable type theory for certified code