GP Course
News
Education Page
Schedule
Literature
Exercises
Papers
Projects
Software Technology
Center
Home
Courses
People
Projects
Page
Edit Page
Rename Page
Attach File
Printable
Wiki Source
More ...
Web
Recent Changes
Notify Service
News
Page Index
Search
More ...
Wiki
About TWiki
Text Formatting
Registration
Change Password
Reset Password
Users
Groups
Log In
or
Register
Literature
GP
The literature for the course consists of lecture notes plus research papers and theses. ---++ Lecture Notes #LinkLN [LN] [[%ATTACHURL%/afp08.pdf][Libraries for Generic Programming in Haskell]] - part of the lecture notes for the [[http://www.st.cs.ru.nl/AFP_TFP_2008/ 2008 Summer School on Advanced Functional Programming]]. ---++ Generic Programming in General #LinkGPI [GPI] [[http://itee.uq.edu.au/~paul/other-cache/polytyping.pdf][Generic Programming: An Introduction]] - Roland Backhouse, Patrik Jansson, Johan Jeuring, Lambert Meertens. AFP 1999. #LinkDGP [DGP] [[http://www.cs.ox.ac.uk/jeremy.gibbons/publications/dgp.pdf][Datatype-Generic Programming]] - Jeremy Gibbons. SSDGP 2006. #LinkCompGP [CompGP] [[http://igitur-archive.library.uu.nl/math/2007-0327-200608/jeuring_06_comapringapproaches.pdf][Comparing Approaches to Generic Programming in Haskell]] - Ralf Hinze, Johan Jeuring, Andres Löh. SSDGP 2006. ---++ Generic Programming Libraries ---+++ Lightweight Implementation of Generics and Dynamics #LinkLIGD [LIGD] [[http://www.cs.ox.ac.uk/ralf.hinze/publications/HW02.pdf][A Lightweight Implementation of Generics and Dynamics]] - James Cheney, Ralf Hinze. Haskell 2002. ---+++ Generics for the Masses #LinkGM [GM] [[http://www.cs.ox.ac.uk/ralf.hinze/publications/Masses.pdf][Generics for the masses]] - Ralf Hinze. ICFP 2004. #LinkEMGM [EMGM] [[http://web.comlab.ox.ac.uk/oucl/work/bruno.oliveira/extensibleGM.pdf][Extensible and Modular Generics for the Masses]] - Bruno C.d.S. Oliveira, Ralf Hinze, Andres Löh. TFP 2006. ---+++ Scrap Your Boilerplate #LinkSYB1 [SYB1] [[http://research.microsoft.com/en-us/um/people/simonpj/papers/hmap/hmap.ps][Scrap your boilerplate: a practical design pattern for generic programming]] - Ralf Lämmel, Simon Peyton Jones. TLDI 2003. #LinkSYB2 [SYB2] [[http://research.microsoft.com/en-us/um/people/simonpj/papers/hmap/gmap2.ps][Scrap more boilerplate: reflection, zips, and generalised casts]] - Ralf Lämmel, Simon Peyton Jones. ICFP 2004. #LinkSYB3 [SYB3] [[http://research.microsoft.com/en-us/um/people/simonpj/papers/hmap/gmap3.pdf][Scrap your boilerplate with class: extensible generic functions]] - Ralf Lämmel, Simon Peyton Jones. ICFP 2005. #LinkSpine1 [Spine1] [[http://people.cs.uu.nl/andres/SYB0.html]["Scrap Your Boilerplate" Reloaded]] - Ralf Hinze, Andres Löh, Bruno C.d.S. Oliveira. FLOPS 2006. #LinkSpine2 [Spine2] [[http://people.cs.uu.nl/andres/SYB1.html]["Scrap Your Boilerplate" Revolutions]] - Ralf Hinze, Andres Löh. MPC 2006. ---+++ Regular #LinkLADGR1 [LADGR1] [[http://www.open.ou.nl/bhr/wgp08-rewriting.pdf][A Lightweight Approach to Datatype-Generic Rewriting]] - Thomas van Noort, Alexey Rodriguez Yakushev, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren. WGP 2008. ---+++ Multirec #LinkMultirec [Multirec] [[http://www.andres-loeh.de/Rec/MutualRec.pdf][Generic programming with fixed points for mutually recursive datatypes]] - Alexey Rodriguez Yakushev, Stefan Holdermans, Andres Löh, Johan Jeuring. ICFP 2009. ---+++ Instant Generics #LinkIG [IG] [[http://www.cse.unsw.edu.au/~chak/project/generics/][Instant Generics: Fast and Easy]] - Manuel M. T. Chakravarty, Gabriel C. Ditu, Roman Leshchinskiy. Unpublished. 2009. #LinkLADGR2 [LADGR2] [[http://dreixel.net/research/pdf/ladgr.pdf][A lightweight approach to datatype-generic rewriting]] - Thomas van Noort, Alexey Rodriguez Yakushev, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren, José Pedro Magalhães. JFP 2010. ---+++ Generic Deriving #LinkGD [GD] [[http://dreixel.net/research/pdf/gdmh.pdf][A generic deriving mechanism for Haskell]] - José Pedro Magalhães, Atze Dijkstra, Johan Jeuring, Andres Löh. Haskell 2010. #LinkGDinGHC [GDinGHC] [[http://www.haskell.org/ghc/docs/latest/html/users_guide/generic-programming.html][Generic programming]] - chapter from the [[http://www.haskell.org/ghc/docs/latest/html/users_guide/index.html][GHC user's guide]]. ---+++ Comparisons #LinkCompLib [CompLib] [[http://www.cs.uu.nl/wiki/pub/Alexey/ComparingLibrariesForGenericProgrammingInHaskell/paper.pdf][Comparing Libraries for Generic Programming in Haskell]] - Alexey Rodriguez, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C. D. S. Oliveira. ICFP 2008. #LinkGPDR [GPDR] [[http://dreixel.net/research/pdf/gpdr.pdf][Generic Programming for Domain Reasoners]] - Johan Jeuring, José Pedro Magalhães, Bastiaan Heeren. TFP 2009. ---++ Generic Views #LinkViews [Views] [[http://www.andres-loeh.de/ViewsOne.pdf][Generic views on data types]] - Stefan Holdermans, Johan Jeuring, Andres Löh, and Alexey Rodriguez. MPC 2006. #LinkOHC [OHC] [[http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.22.8611&rep=rep1&type=pdf][The derivative of a regular type is its type of one-hole contexts]] - Conor !McBride. Unpublished manuscript, 2001. #LinkGSS [GSS] [[http://dreixel.net/research/pdf/gss.pdf][Generic selections of subexpressions]] - Martijn van Steenbergen, José Pedro Magalhães, and Johan Jeuring. WGP 2010. ---++ Dependently Typed Programming #LinkAgda [Agda] [[http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Othertutorials][Agda Tutorials]] #LinkGPDTP [GPDTP] [[http://www.seas.upenn.edu/~sweirich/ssgip/][Generic programming with Dependent Types]] - Stephanie Weirich. Spring School on Generic and Indexed Programming 2010. #LinkFCDGP [FCDGP] [[http://www.dreixel.net/research/pdf/fcadgp.pdf][A Formal Comparison of Approaches to Datatype-Generic Programming]] - José Pedro Magalhães, Andres Löh. MSFP 2012. ---++ Generic Haskell #LinkEGH [EGH] [[http://people.cs.uu.nl/andres/ExploringGH.pdf][Exploring Generic Haskell]] - Andres Löh. !PhD thesis, Utrecht University, 2004. #LinkGHA [GHA] [[http://igitur-archive.library.uu.nl/math/2007-0404-200209/jeuring_03_generichaskell.pdf][Generic Haskell: Applications]] - Ralf Hinze, Johan Jeuring. Generic Programming: Advanced Lectures. 2003. #LinkGHPT [GHPT] [[http://igitur-archive.library.uu.nl/math/2007-0404-200301/jeuring_03_generichaskellpractice_technical.pdf][Generic Haskell: Practice and Theory]] - Ralf Hinze, Johan Jeuring. Generic Programming: Advanced Lectures. 2003. ---++ Related workshops, conferences and journals * [[http://www.wgp-sigplan.org][Workshop on Generic Programming homepage]] * [[http://www.icfpconference.org][ICFP]] * [[http://journals.cambridge.org/action/displayJournal?jid=JFP][Journal of Functional Programming]]
Topic attachments
I
Attachment
Action
Size
Date
Who
Comment
pdf
libintro.pdf
manage
560.2 K
23 Apr 2009 - 06:40
JohanJeuring
pdf pdf