Deriving backtracking monad transformers
- 1 September 2000
- conference paper
- conference paper
- Published by Association for Computing Machinery (ACM) in Proceedings of the fifth ACM SIGPLAN international conference on Functional programming - ICFP '00
- Vol. 35 (9), 186-197
- https://doi.org/10.1145/351240.351258
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Monad transformers and modular interpretersPublished by Association for Computing Machinery (ACM) ,1995
- The design of a pretty-printing libraryLecture Notes in Computer Science, 1995
- Monads for functional programmingLecture Notes in Computer Science, 1995
- The essence of functional programmingPublished by Association for Computing Machinery (ACM) ,1992
- Notions of computation and monadsInformation and Computation, 1991
- Comprehending monadsPublished by Association for Computing Machinery (ACM) ,1990
- Simple operational and denotational semantics for Prolog with cutTheoretical Computer Science, 1990