Linear Contexts and the Sharing Functor: Techniques for Symbolic Computation (2003)

by Gérard Huet
Venue:in « Thirty Five Years of Automating Mathematics
Citations:13 - 3 self

Active Bibliography

24 Generic programming with fixed points for mutually – Alexey Rodriguez, Stefan Holdermans, Andres Löh, Johan Jeuring - 2008
General Terms – Andres Löh, José Pedro Magalhães
30 Generic Haskell: applications – Ralf Hinze, Johan Jeuring - 2003
16 Exploring the regular tree types – Peter Morris, Thorsten Altenkirch, Conor Mcbride - 2004
9 Clowns to the left of me, jokers to the right (pearl): dissecting data structures – Conor Mcbride - 2008
Structures – Tristan O. R. Allwood, Susan Eisenbach
5 Automata Mista – Gérard Huet - 2003
10 Towards Computational Processing of Sanskrit – Gérard Huet - 2003
11 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
20 Comparing Libraries for Generic Programming in Haskell – Alexey Rodriguez, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C. d. S. Oliveira - 2008
3 Incremental updates for efficient bidirectional transformations – Meng Wang, Jeremy Gibbons, Nicolas Wu - 2011
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
Accumulating Attributes for Doaitse Swierstra, on his retirement – Jeremy Gibbons
4 Generic programming with dependent types – Thorsten Altenkirch, Conor Mcbride, Peter Morris - 2006
Generic Representations of Tree Transformations – Jeroen Bransen, José Pedro Magalhães
59 Type-Indexed Data Types – Ralf Hinze, Johan Jeuring, Andres Löh - 2004
1 The Third Homomorphism Theorem on Trees Downward & Upward Lead to Divide-and-Conquer – Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi