|
|
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
|
|
|
Research Training Group 1298 (AlgoSyn).
– Jürgen Giesl, Matthias Raffelsieper Tu Eindhoven
|
|
29
|
Generalizing Generalized Tries
– Ralf Hinze
- 1999
|
|
25
|
Faking It: Simulating Dependent Types in Haskell
– Connor McBride
- 2001
|
|
102
|
Polytypic Values Possess Polykinded Types
– Ralf Hinze
- 2000
|
|
|
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
|
|
1
|
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
|
|
|
Monads, Zippers and Views Virtualizing the Monad
– Tom Schrijvers, Bruno C. D. S. Oliveira
|
|
3
|
A comparison of designs for extensible and extension-oriented compilers
– Austin T. Clements, M. Frans Kaashoek, Austin T. Clements
|
|
7
|
Recognizing Strategies
– Bastiaan Heeren, Johan Jeuring, Bastiaan Heeren, Johan Jeuring
- 2008
|
|
|
Utrecht University
– Van Steenbergen, Daily Supervisor
- 2010
|
|
2
|
A programming tutor for Haskell
– Johan Jeuring, Alex Gerdes, Bastiaan Heeren, Johan Jeuring, Alex Gerdes, Bastiaan Heeren
- 2011
|
|
|
Autoconstructive Evolution for Structural Problems ABSTRACT
– Kyle I. Harrington, Jordan B. Pollack
|
