A type system for call-by-name exceptions

DOI10.2168/LMCS-5(4:1)2009zbMATH Open1187.68128MaRDI QIDQ3401136FDOQ3401136

Authors: Sylvain Lebresne 

Publication date: 28 January 2010

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

Recommendations

• A System F with Call-by-Name Exceptions
• scientific article; zbMATH DE number 2185662
• An intuitionistic λ-calculus with exceptions
• scientific article; zbMATH DE number 1956517
• Publication:4490735

zbMATH Keywords

realizabilitytype systemexceptionsSystem Fcall-by-name

Mathematics Subject Classification ID

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

Cited In (3)

• Type and Effect System for Multi-staged Exceptions
• A System F with Call-by-Name Exceptions
• Validating Brouwer's continuity principle for numbers using named exceptions

This page was built for publication: A type system for call-by-name exceptions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3401136)