Generic Programming: Advanced Lectures

1. Generic Haskell: Practice and Theory.- 2. Generic Haskell: Applications.- 3. Generic Properties of Datatypes.- 4. Basic Category Theory for Models of Syntax.- 5. A Mathematical Semantics for Architectural Connectors.

[1]  Michael Franz,et al.  Generic Adaptive Syntax-Directed Compression for Mobile Code , 2001 .

[2]  Colin Runciman,et al.  Haskell and XML: generic combinators or type-based translation? , 1999, ICFP '99.

[3]  Koen Claessen,et al.  Testing and Tracing Lazy Functional Programs Using QuickCheck and Hat , 2002, Advanced Functional Programming.

[4]  Johan Jeuring.  Polytypic pattern matching , 1995, FPCA '95.

[5]  Robert D. Cameron.  Source encoding using syntactic information source models , 1988, IEEE Trans. Inf. Theory.

[6]  Abraham Lempel,et al.  A universal algorithm for sequential data compression , 1977, IEEE Trans. Inf. Theory.

[7]  G. Malcolm,et al.  Data Structures and Program Transformation , 1990, Sci. Comput. Program..

[8]  Ralf Hinze,et al.  The Generic Haskell user's guide , 2001 .

[9]  Donald E. Knuth,et al.  The Art of Computer Programming: Volume 3: Sorting and Searching , 1998 .

[10]  Gérard P. Huet,et al.  The Zipper , 1997, Journal of Functional Programming.

[11]  Johan Jeuring,et al.  A Framework for Polytypic Programming on Terms, with an Application to Rewriting , 2000 .

[12]  Michael Franz.  Adaptive Compression of Syntax Trees and Iterative Dynamic Code Optimization: Two Basic Technologies for Mobile Object Systems , 1996, Mobile Object Systems.

[13]  Roland Carl Backhouse,et al.  Generic Programming: An Introduction , 1998, Advanced Functional Programming.

[14]  Ralf Hinze,et al.  Generic Programs and Proofs , 2000 .

[15]  Chris Okasaki,et al.  Purely functional data structures , 1998 .

[16]  Neel Sundaresan,et al.  Millau: an encoding format for efficient representation and exchange of XML over the Web , 2000, Comput. Networks.

[17]  Johan Jeuring,et al.  Polytypic Compact Printing and Parsing , 1999, ESOP.

[18]  Ralf Hinze,et al.  Generalizing generalized tries , 2000, Journal of Functional Programming.

[19]  Jayant R. Haritsa,et al.  XGrind: a query-friendly XML compressor , 2002, Proceedings 18th International Conference on Data Engineering.

[20]  Chris Okasaki,et al.  Fast Mergeable Integer Maps , 1998 .

[21]  Mario Cannataro,et al.  Semantic Lossy Compression of XML Data , 2001, KRDB.

[22]  Ralf Hinze,et al.  Generic Haskell: practice and theory , 2003 .

[23]  Ralf Hinze,et al.  A new approach to generic functional programming , 2000, POPL '00.

[24]  Ralf Hinze,et al.  Type-indexed data types , 2002, Sci. Comput. Program..

[25]  Johan Jeuring,et al.  Polytypic data conversion programs , 2002, Sci. Comput. Program..

[26]  Maarten M. Fokkinga,et al.  Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire , 1991, FPCA.