Languages (2010)

by Van Steenbergen , José Pedro Magalhães , Johan Jeuring , Martijn Steenbergen , José Pedro , Magalhães Johan Jeuring

Active Bibliography

12 Comparing Libraries for Generic Programming in Haskell – Alexey Rodriguez, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C. d. S. Oliveira - 2008
13 Generic programming with fixed points for mutually – Alexey Rodriguez, Stefan Holdermans, Andres Löh, Johan Jeuring - 2008
Utrecht University – Van Steenbergen, Daily Supervisor - 2010
General Terms – José Pedro, Magalhães Stefan, Holdermans Johan Jeuring, Andres Löh
– Generic programming at Utrecht – – Johan Jeuring, Lambert Meertens, Johan Jeuring, Lambert Meertens - 2009
1 The NetherlandsOptimizing Generics Is Easy! – José Pedro Magalhães, Stefan Holdermans, Johan Jeuring, Andres Löh, José Pedro, Magalhães Stefan, Holdermans Johan Jeuring, Andres Löh - 2009
Comparing Datatype Generic Libraries In Haskell – Alexey Rodriguez Yakushev, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C. D. S. Oliveira - 2009
Under consideration for publication in J. Functional Programming 1 Comparing Datatype-Generic Libraries – Alexey Rodriguez Yakushev, Johan Jeuring, Patrik Jansson, Alex Gerdes, Bruno C. D. S. Oliveira, In Haskell, Alexey Rodriguez Yakushev, Johan Jeuring, Patrik Jansson, Alex Gerdes, Bruno C. D. S. Oliveira - 924
Generative Type Abstraction and Type-level Computation – Simon Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, Steve Zdancewic
6 Generative Type Abstraction and Type-level Computation (Extended Version) – Stephanie Weirich, Dimitrios Vytiniotis, Simon Peyton Jones, Steve Zdancewic
20 Generic views on data types – Stefan Holdermans, Johan Jeuring, Andres Löh, Alexey Rodriguez - 2006
10 Comparing approaches to generic programming in Haskell – Ralf Hinze, Johan Jeuring, Andres Löh - 2006
Programming Language Techniques for Natural Language Applications – Björn Bringert - 2008
A pattern for almost . . . – Björn Bringert, Aarne Ranta - 2008
8 The Gentle Art of Levitation – James Chapman, Pierre-évariste Dagand, Conor Mcbride, Peter Morris
Julien Cretin – Brent A. Yorgey, Stephanie Weirich, Simon Peyton Jones, Dimitrios Vytiniotis, José Pedro Magalhães
Microsoft Research--Cambridge – Stephanie Weirich, Brent A. Yorgey, Simon Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, Brent A. Yorgey, Julien Cretin, Simon Peyton Jones, Dimitrios Vytiniotis, Jose P, Brent A. Yorgey, Stephanie Weirich, Julien Cretin, Simon Peyton Jones, Dimitrios Vytiniotis, José Pedro Magalhães
Modular Type-Safety Proofs in Agda – Christopher Schwaab, Jeremy G. Siek
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