P. Wadler, How to Replace a Failure by a List of Successes. In Jean-Pierre Jouannaud, editor, FPCA, volume 201, pages 113--128, 1985.  Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Termination Proofs for a Lazy Functional Language by Abstract.. - Panitz (1996) (Correct)
Towards Language-Agnostic Mobile Code - Stork, Housel, Haldar, Dalton.. (2001) (Correct)
Towards Parallel Mercury - Conway (2002) (Correct)
A Multilingual Natural-Language Interface to Regular Expressions - Ranta (1998) (1 citation) (Correct)
Real-time Reactive Programming for Embedded Controllers - Kieburtz (2001) (2 citations) (Correct)
Real-time Reactive Programming for Embedded Controllers - Kieburtz (2001) (2 citations) (Correct)
Combinators for Breadth-First Search - Spivey (Correct)
A Gentle Introduction to Haskell 98 - Hudak, Peterson, Fasel (1999) (84 citations) (Correct)
Controlling Search in Declarative Programs - Hanus, Steiner (1998) (3 citations) (Correct)
Presupposition Accommodation in Update Semantics - Hulstijn (1995) (Correct)
LATOS - A Lightweight Animation Tool for Operational Semantics - Hartel (1997) (3 citations) (Correct)
Type Specialisation of a Subset of Haskell - Sjoers (1997) (Correct)
Curry: A Truly Functional Logic Language - Hanus, Kuchen, Moreno-Navarro (1995) (41 citations) (Correct)
First Class Patterns - Tullsen (2000) (5 citations) (Correct)
Demand-driven Search in Functional Logic Programs - Hanus, Rety (1998) (1 citation) (Correct)
Compiling Haskell to Java - Tullsen (1996) (Correct)
Embedding PROLOG in HASKELL - Spivey, Seres (1999) (3 citations) (Correct)
Abstraction and Performance from Explicit Monadic.. - Sobel, Hilsdale, Dybvig, .. (Correct)
Monadic Parsing in Haskell - Hutton, Meijer (1993) (19 citations) (Correct)
The Algebra of Searching - Spivey, Seres (2000) (Correct)
Monadic Compositional Parsing with Context Using Maltese as a Case .. - Pace (2004) (Correct)
An exercise in Transformational Programming: Backtracking and.. - Fokkinga (2004) (1 citation) (Correct)
Guarded Attribute Grammars - Frost (1993) (Correct)
User Manual - Meurig Sage December (Correct)
A Semantics for Imprecise Exceptions - Jones, Reid, Hoare, Marlow.. (1999) (23 citations) (Correct)
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC