A Type System For Call-By-Name Exceptions

DOI10.2168/LMCS-5(4:1)2009zbMath1187.68128MaRDI QIDQ3401136

Sylvain Lebresne

Publication date: 28 January 2010

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

zbMATH Keywords

realizabilitytype systemexceptionsSystem Fcall-by-name

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Combinatory logic and lambda calculus (03B40)

Related Items (1)

Validating Brouwer's continuity principle for numbers using named exceptions

This page was built for publication: A Type System For Call-By-Name Exceptions