Static typing for a faulty lambda calculus

DOI10.1145/1159803.1159809zbMath1321.68109OpenAlexW1968456054WikidataQ123016841 ScholiaQ123016841MaRDI QIDQ5501457

No author found.

Publication date: 3 August 2015

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

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

zbMATH Keywords

fault tolerancelambda calculustype systemsreliable computingtyped intermediate languagessoft faultstransient hardware faults

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Reliability, testing and fault tolerance of networks and computer systems (68M15)

Related Items (1)

αCheck: A mechanized metatheory model checker

This page was built for publication: Static typing for a faulty lambda calculus