You are here:
(27 Nov 2007,
%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ö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
ore topic actions
Topic revision: r42 - 27 Nov 2007,
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding UUCS?