WebHome
- Education Page

Center
Master Program
Web Home

Xagp
%TOC%

---+ Course setup

This seminar is a follow-up on the course on Generic Programming. We will study 
several topics within the field of Generic Programming, such as:

   * Type-indexed datatypes
   * Generic Programming for DTD-aware XML tools
   * An XML data binding to Haskell 
   * Other approaches to XML programming (for contrast)
   * Dependency-style Generic Haskell
   * Generic Programming and Dependent Type Theory
   * Other approaches to Generic Programming
      * Boilerplate traversals
      * Intensional type analysis

We will meet twice a week to talk about papers on the above topics, and
you will work on a project to be presented at the end of the seminar.

---+ People involved

Participants

   * Main.AlexeyRodriguez
      * XAGP.AlexeyRodriguez's work on XAGP
   * Main.ArjanOosting
      * XAGP.ArjanOosting's work on XAGP
   * Main.FaridahLiduan
      * XAGP.FaridahLiduan's work on XAGP
   * Main.LukasSpee
      * XAGP.LukasSpee's work on XAGP
   * Main.WouterSwierstra
      * XAGP.WouterSwierstra's work on XAGP
   * Main.ErikKnoop
      * Xagp.ErikKnoop's work on XAGP
   * Main.StefanHoldermans
      * XAGP.StefanHoldermans's work on XAGP

Supervisors

   * Main.AndresLoeh (AL)
   * Main.AtzeDijkstra (AD)
   * Main.JohanJeuring (JJ)
   * Main.FrankAtanassow (FA)
   * Main.DaveClarke (DC)

---+ Schedule

For the schedule containing times and locations look [[http://www.cs.uu.nl/education/vak.php?vak=xagp&jaar=2003 here]].
Below I give preliminary dates for when we discuss which paper. I'll update this as we go along.

| *Date* | *What* |
| November 19, 2003| Generic Haskell: Practice and Theory |
| November 26, 2003| Generic Haskell: Applications |
| December 1, 2003| Type-indexed data types |
| December 8, 2003| Scripting XML with Generic Haskell |
| December 15, 2003| Rinus Plasmeijer:  Generic Graphical User Interfaces |
| December 17, 2003| Type Isomorphisms simplify XML Programming |
| January 5, 2004| Universes for generic programs and proofs in dependent type theory |
| January 7, 2004| Martijn de Vries: tba  |
| January 12, 2004 | Scrap your boilerplate |
| January 14, 2004 | A lightweight implementation of generics and dynamics |


---+ Individual assignments

A preliminary list of topics/extensions

| *Topic* | *Assigned to* | *Supervised by* |
| Using classes to implement dependency style Generic Haskell \
|  Arjan Oosting |  AL |
| A Framework for XML compression \
|  Lukas Spee |  FA and JJ |
| Making type-indexed datatypes more usable \
|  Faridah Liduan |  AL |
| Allow generic functions on type-indexed datatypes \
| | |
| An interactive environment a la ghci for Generic Haskell \
| | |
| Adding a fixpoint view on datatypes in Generic Haskell \
|  Stefan Holdermans |  JJ and AL |
| Testing the Generic Haskell optimizer \
| | |
| A Haskell data binding for XML Schemas \
|  Erik Knoop |  FA and JJ |
| A Haskell program binding for XSLT \
| | |
| Applications of dependently typed programming in XML \
| | |
| Comparing Generic Haskell with Intensional Type Analysis \
|  Alexey Rodriguez|  DC |
| Implementing type isomorphisms as generic programs \
|  Wouter Swierstra |  FA and JJ |

We will introduce these projects at the first meeting(s). If you already know
what you want to do, or if you have questions about these projects, don't
hesitate to contact Andres L&ouml;h or Johan Jeuring.

---+ Deliverables

   * Proposal + prototype implementation + presentation of the assigned project
   * Attendance of meetings

---+ Literature

   * Ralf Hinze and Johan Jeuring.  Generic Haskell: Practice and Theory.  In Roland Backhouse and Jeremy Gibbons, editors, Generic Programming,  LNCS 2793 © Springer-Verlag, pages 1 - 56, 2003.
   * Ralf Hinze and Johan Jeuring. Generic Haskell: Applications.  In Roland Backhouse and Jeremy Gibbons, editors, Generic Programming,  LNCS 2793 © Springer-Verlag, pages 57 - 97, 2003.
   * Frank Atanassow, Dave Clarke, and Johan Jeuring. Scripting XML with Generic Haskell. In Proceedings of the 7th Brazilian Symposium on Programming Languages, SBLP 2003, 2003.
   * Ralf Hinze, Johan Jeuring and Andres Löh.  Type-indexed data types.  To appear in Science of Computer Programming, 2003.   
   * Andres Löh, Dave Clarke and Johan Jeuring. Dependency-style Generic Haskell.  In Olin Shivers, editor, Proceedings International Conference on Functional Programming, ICFP'03, pages 141 - 152, 2003.
   * Frank Atanassow and Johan Jeuring. Type Isomorphisms simplify XML Programming. Submitted for publication, 2003.
   * Marcin Benke, Peter Dybjer and Patrik Jansson. Universes for generic programs and proofs in dependent type theory . September 2003. To appear in Nordic Journal of Computing. 
   * Stephanie Weirich. Higher-order intensional type analysis in type erasure semantics.
   * Ralf Laemmel and Simon Peyton Jones. Scrap your boilerplate: a practical approach to generic programming. Proc ACM SIGPLAN Workshop on Types in Language Design and Implementation (TLDI 2003), New Orleans, Jan 2003. 
   * Roland Backhouse and Paul Hoogendijk. Generic properties of Datatypes.  In Roland Backhouse and Jeremy Gibbons, editors, Generic Programming,  LNCS 2793 © Springer-Verlag, pages 97 - 132, 2003.
   * James Cheney, Ralf Hinze. A Lightweight Implementation of Generics and Dynamics. In Proceedings Haskell Workshop 2002.  
   * Jeremy Gibbons. Patterns in Datatype-Generic Programming. In Declarative Programming in the Context of Object-Oriented Languages. Uppsala, 25th August 2003.
   * Michael B. Greenwald, Jonathan T. Moore, Benjamin C. Pierce, and Alan Schmitt. A Language for Bi-Directional Tree Transformations. 2003.
   * Veronique Benzaken, Giuseppe Castagna, Alain Frisch. CDuce: An XML-Centric General-Purpose Language.  In Olin Shivers, editor, Proceedings International Conference on Functional Programming, ICFP'03, pages 51 - 63, 2003.

-- Main.JohanJeuring - 17 Dec 2003