Disjunctive Normal Forms and Local Exceptions

Emmanuel Beffara, Vincent Danos

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

All classical ?-terms typable with disjunctive normal forms are shown to share a common computational behavior: they implement a local exception handling mechanism whose exact workings depend on the tautology. Equivalent and more efficient control combinators are described through a specialized sequent calculus and shown to be correct.
Original languageEnglish
Title of host publicationProceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming
Place of PublicationNew York, NY, USA
PublisherACM
Pages203-211
Number of pages9
ISBN (Print)1-58113-756-7
DOIs
Publication statusPublished - 2003

Publication series

NameICFP '03
PublisherACM

Keywords

  • classical realizability
  • control structures
  • disjunctive normal forms

Fingerprint

Dive into the research topics of 'Disjunctive Normal Forms and Local Exceptions'. Together they form a unique fingerprint.

Cite this