Results 1 -
2 of
2
Data types à la carte
"... This paper describes a technique for assembling both data types and functions from isolated individual components. We also explore how the same technology can be used to combine free monads and, as a result, structure Haskell’s monolithic IO monad. 1 ..."
Abstract
-
Cited by 17 (1 self)
- Add to MetaCart
This paper describes a technique for assembling both data types and functions from isolated individual components. We also explore how the same technology can be used to combine free monads and, as a result, structure Haskell’s monolithic IO monad. 1
ISSN 0249-6399 ISRN INRIA/RR--6315--FR+ENGYet Another Implementation of Attribute Evaluation
"... apport de recherche ..."
