A Lightweight Approach to Datatype-Generic Rewriting

Cached

Download Links

by Thomas Noort , Alexey Rodriguez , Stefan Holdermans , Johan Jeuring , Bastiaan Heeren

Active Bibliography

unknown title – Thomas Van Noort, Alexey Rodriguez Yakushev, Johan Jeuring
20 Comparing Libraries for Generic Programming in Haskell – Alexey Rodriguez, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C. d. S. Oliveira - 2008
24 Generic programming with fixed points for mutually – Alexey Rodriguez, Stefan Holdermans, Andres Löh, Johan Jeuring - 2008
23 A Lightweight Approach to Datatype-Generic Rewriting – Thomas Van Noort, Alexey Rodriguez, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren, Thomas Noort, Alexey Rodriguez, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren - 2008
Implementing Functional Generic Programming – Ulf Norell - 2004
Science of Computer Programming ( ) – – Ralf Lämmel A, Simon Thompson B, Markus Kaiser A
14 Comparing approaches to generic programming in Haskell – Ralf Hinze, Johan Jeuring, Andres Löh - 2006
Comparing Datatype Generic Libraries In Haskell – Alexey Rodriguez Yakushev, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C. D. S. Oliveira - 2009
3 Generic programming, now – Ralf Hinze, Andres Löh - 2006
59 Type-Indexed Data Types – Ralf Hinze, Johan Jeuring, Andres Löh - 2004
datatype-generic rewriting – Thomas Van Noort, Alexey Rodriguez Yakushev, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren, José Pedro Magalhães, Thomas Van Noort, Alexey Rodriguez Yakushev, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren, José Pedro Magalhães - 2010
41 Scrap your boilerplate” reloaded – Ralf Hinze, Andres Löh, Bruno C. D. S. Oliveira - 2006
30 Generic Haskell: applications – Ralf Hinze, Johan Jeuring - 2003
Chapter 1 Generic Programming for Domain Reasoners – Johan Jeuring, José Pedro Magalhães, Bastiaan Heeren
1 Generic Programming for Domain Reasoners – Johan Jeuring, José Pedro Magalhães, Bastiaan Heeren, Www. Cs. Uu. Nl Issn, Johan Jeuring, José Pedro Magalhães, Bastiaan Heeren - 2009
25 TypeCase: A Design Pattern for Type-Indexed Functions – Bruno C. d. S. Oliveira , Jeremy Gibbons - 2005
Programming errors in traversal programs over structured data – Ralf Lämmel, Simon Thompson, Markus Kaiser
25 Generic views on data types – Stefan Holdermans, Johan Jeuring, Andres Löh, Alexey Rodriguez - 2006
4 Generic programming with dependent types – Thorsten Altenkirch, Conor Mcbride, Peter Morris - 2006