Functional Pearl: Weaving a Web (2001)

Cached

Download Links

by Ralf Hinze , Johan Jeuring
Citations:5 - 0 self

Active Bibliography

The Web (Functional Pearl) – Funct I Onal Pearl, Ralf Hinze, Johan Jeuring - 2001
Perfect Trees and Bit-Reversal Permutations – Funct I Onal Pearl, Perfect Trees, Bit-reversal Permutations, Ralf Hinze - 1999
Automated Termination Proofs for Haskell . . . – Jürgen Giesl, Matthias Raffelsieper , Peter Schneider-Kamp, Stephan Swiderski, René Thiemann - 2010
31 Generalizing Generalized Tries – Ralf Hinze - 1999
107 Polytypic Values Possess Polykinded Types – Ralf Hinze - 2000
27 Faking It: Simulating Dependent Types in Haskell – Connor McBride - 2001
Purely Applicative XML Cursor – Kazuhiro Inaba - 2004
Modular Components with Monadic Effects – Tom Schrijvers, Bruno C. D. S. Oliveira
Languages – Van Steenbergen, José Pedro Magalhães, Johan Jeuring, Martijn Steenbergen, José Pedro, Magalhães Johan Jeuring - 2010
Functional Pearl: The Monad Zipper – Tom Schrijvers, Bruno C. D. S. Oliveira
Monads, Zippers and Views Virtualizing the Monad – Tom Schrijvers, Bruno C. D. S. Oliveira
Utrecht University – Van Steenbergen, Daily Supervisor - 2010
4 A comparison of designs for extensible and extension-oriented compilers – Austin T. Clements, M. Frans Kaashoek, Austin T. Clements
2 The Monad Zipper – Tom Schrijvers, Bruno C. D. S. Oliveira, Tom Schrijvers, Bruno C. D. S. Oliveira, Tom Schrijvers, Bruno C. D. S. Oliveira - 2010
3 A programming tutor for Haskell – Johan Jeuring, Alex Gerdes, Bastiaan Heeren, Johan Jeuring, Alex Gerdes, Bastiaan Heeren - 2011
niques]: Functional Programming General Terms – Martijn Steenbergen, José Pedro, Magalhães Johan Jeuring
8 Recognizing Strategies – Bastiaan Heeren, Johan Jeuring, Bastiaan Heeren, Johan Jeuring - 2008
1 Autoconstructive Evolution for Structural Problems ABSTRACT – Kyle I. Harrington, Jordan B. Pollack
Whalesong: Running Racket in the Browser – Danny Yoo, Shriram Krishnamurthi