SSDGP

2006200720062007

Keyphrases

Publications

volume 4719, 2007

Datatype-Generic Programming - International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures SSDGP 4719 (2007)

2006

Tim Sheard
Generic Programming in Ωmega. SSDGP (2006)
Ralf Hinze, Johan Jeuring, Andres Löh
Comparing Approaches to Generic Programming in Haskell. SSDGP (2006)
Thorsten Altenkirch, Conor McBride, Peter Morris
Generic Programming with Dependent Types. SSDGP (2006)
Jeremy Gibbons
Datatype-Generic Programming. SSDGP (2006)
Ralf Hinze, Andres Löh
Generic Programming, Now! SSDGP (2006)
Ralf Lämmel, Erik Meijer
Revealing the X/O Impedance Mismatch - (Changing Lead into Gold). SSDGP (2006)