| 
|
Quote: asynchronous exceptions, interrupts, and timeouts are important for robust, modular programs but are difficult to represent in a programming language
topics >
all references >
references m-o >
Topic:
interrupts
Topic:
formal methods and languages
Quotation Skeleton
Asynchronous exceptions, such as timeouts, are important for … programming languages either heavily restrict them or ban … Our design [for Haskell] introduces scoped combinators for block … we also give a formal semantics for our … Google-1 Google-2
Copyright clearance needed for quotation.
Additional Titles
Quote: use scoped combinators in Haskell for block and unblocking asynchronous interrupts; formal semantics
Topic: interrupts (25 items)
Topic: formal methods and languages (53 items)