GP Course

Schedule

This is the schedule for the Generic Programming course in period 1 of the 2012-2013 academic year. The lectures are shared by Johan Jeuring and Sean Leather. The slides from last year are now available. We will update each set of slides as needed and post the updated version on the day of the lecture.

MM	DD	Topic	Lecturer	Receive	Submit	References/Notes
09	04	Introduction, GP in Context	Johan			LN, DGP
09	11	Datatypes and Kinds	Sean	E1
09	13	Advanced Types (code)	Sean			LN, Existential type, GADT, Type families
09	18	LIGD	Sean	E2	E1	LN, LIGD
09	20	EMGM	Sean			LN, GM, EMGM
09	25	EMGM, SYB	Sean, Johan	E3	E2, C1, Paper	LN, GM, EMGM, SYB1
09	27	SYB	Johan	Q1		SYB2 Spine1, Spine2, CompGP
10	02	Generic Deriving, Regular	Johan	E3	C2, Project	GD, IG, GDinGHC, LADGR1
10	04	Multirec, Comparison	Johan			Multirec, CompLib
10	09	DTP in Agda	Sean	Q2	E3	Agda, Andreas Abel's links
10	11	GP in Agda	Sean		C3	GPDTP, FCDGP
10	16			Q3
10	18	(through 11-01) See the paper presentation schedule.
11	02			E4	Project Report	Due: 23:59
11	05	Project Presentations				Exam time: 14:00. BBL 083
11	09				E4

Abbreviations:

E# - Exercise set #
C# - Corrected exercise set #
Q# - Quiz # (in class)

Paper Presentation Schedule

Each presentation should be no longer than 25 minutes. There will be 5 minutes for questions.

MM	DD	Paper Title	Presenter
10	18	Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire	Laurens van den Brink
		Primitive (Co)Recursion and Course-of-Value (Co)Iteration, Categorically	João Alpuim
10	23	Polytypic Data Conversion Programs	Cas Plattèl
		Memo Functions, Polytypically!	Nikos Savvidis
		Algebraic Specialization of Generic Functions for Recursive Types	Joseph Tsun Kiet Man
10	25	The Right Kind of Generic Programming	Liewe van Binsbergen
		A Lightweight Approach to Datatype-Generic Rewriting	Tom Tervoort
10	30	Uniform Boilerplate and List Processing	Jaap van der Plas
		Data Types à la Carte	Wout Elsinghorst
		A Generic Abstract Syntax Model for Embedded Languages	Andreas Nikas
11	01	Sorting with Bialgebras and Distributive Laws	Paul Staats
		The Gentle Art of Levitation	Stijn van Drongelen
		Generic Views on Data Types	João Paulo Pizani Flor

Calendar

There is also a Google Calendar with the general schedule. It has less information than the table above, but you can use it with other calendar systems.

website
iCal (see the iCalendar format)
RSS feed of updates (using a feed reader)