|
13
|
Exploring the regular tree types
– Peter Morris, Thorsten Altenkirch, Conor Mcbride
- 2004
|
|
28
|
Generic Haskell: applications
– Ralf Hinze, Johan Jeuring
- 2003
|
|
13
|
Generic programming with fixed points for mutually
– Alexey Rodriguez, Stefan Holdermans, Andres Löh, Johan Jeuring
- 2008
|
|
|
Structures
– Tristan O. R. Allwood, Susan Eisenbach
|
|
4
|
Automata Mista
– Gérard Huet
- 2003
|
|
5
|
Towards Computational Processing of Sanskrit
– Gérard Huet
- 2003
|
|
10
|
Zen and the art of symbolic computing: Light and fast applicative algorithms for computational linguistics
– Gérard Huet
- 2003
|
|
|
Abstract A POPL Pearl Submission Clowns to the Left of me, Jokers to the Right
– Joe Egan, Gerry Rafferty
|
|
12
|
Comparing Libraries for Generic Programming in Haskell
– Alexey Rodriguez, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C. d. S. Oliveira
- 2008
|
|
|
The NetherlandsPull-Ups, Push-Downs, and Passing It Around Exercises in Functional Incrementalization
– Andres Löh, Johan Jeuring, Www. Cs. Uu. Nl Issn, Sean Leather, Andres Löh, Johan Jeuring
- 2009
|
|
|
Design, Languages
– Sam Lindley
|
|
2
|
Generic programming with dependent types
– Thorsten Altenkirch, Conor Mcbride, Peter Morris
- 2006
|
|
53
|
Type-Indexed Data Types
– Ralf Hinze, Johan Jeuring, Andres Löh
- 2004
|
|
5
|
A few constructions on constructors
– Conor Mcbride, Healfdene Goguen, James Mckinna
- 2005
|
|
|
Pull-Ups, Push-Downs, and Passing It Around Exercises in Functional Incrementalization
– Sean Leather, Andres Löh, Johan Jeuring
|
|
10
|
Comparing approaches to generic programming in Haskell
– Ralf Hinze, Johan Jeuring, Andres Löh
- 2006
|
|
|
banner above paper title CLASE: Cursor Library for A Structured Editor Functional Brick: Embracing Boilerplate for Yet Another Zipper Library
– Tristan O. R. Allwood, Susan Eisenbach
|
|
|
Categories and Subject Descriptors: F.4.1 [Mathematical Logic and Formal Languages]:
– unknown authors
|
|
|
Abstraction-Based Genetic Programming By
– Franck J. L. Binard
|
