Call for participation: Workshop on Generic Programming 2006

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view
|

Call for participation: Workshop on Generic Programming 2006

Ralf Hinze
Dear all,

the Workshop on Generic Programming early registration deadline is only a
few days away: August 18, 2006 (http://regmaster2.com/conf/icfp2006.html).

==> We have reserved 30 minutes for *lightning talks*. If you plan to
==> attend and if you would like to give a short talk (about half-baked,
==> exciting, new stuff) please drop me a short note. Slots will be
==> reserved on a first-come-first-serve basis.

Looking forward to seeing you in Portland, Ralf Hinze

============================================================================

                           CALL FOR PARTICIPATION

                     Workshop on Generic Programming 2006

                    Portland, Oregon, 16th September 2006

      The Workshop on Generic Programming is sponsored by ACM SIGPLAN
      and forms part of ICFP 2006. Previous Workshops on Generic
      Programming have been held in Marstrand (affiliated with MPC),
      Ponte de Lima (affiliated with MPC), Nottingham (informal
      workshop), Dagstuhl (IFIP WG2.1 Working Conference), Oxford
      (informal workshop), and Utrecht (informal workshop).

      http://www.informatik.uni-bonn.de/~ralf/wgp2006.{html,pdf,ps,txt}

============================================================================

Preliminary program
-------------------

 9.oo - 1o.3o, session chair: Ralf Hinze (Universit├Ąt Bonn)
  Welcome

  Design Patterns as Higher-Order Datatype-Generic Programs
  Jeremy Gibbons (Oxford University)

  Type Theoretic Design Patterns
  Ondrej Rypacek, Roland Backhouse, Henrik Nilsson (University of Nottingham)

  Generating Generic Functions
  Johan Jeuring, Alexey Rodriguez, Gideon Smeding (Utrecht University)

11.oo - 12.3o, session chair: Peter Dybjer (Chalmers University of Technology)

  Good Advice for Type-Directed Programming
  Geoffrey Washburn, Stephanie Weirich (University of Pennsylvania)

  Context-Parametric Polykinded Types
  Pablo Nogueira (University of Nottingham)

  Modular Generic Programming with Extensible Superclasses
  Martin Sulzmann, Meng Wang (University of Singapore)

14.3o - 16.oo, session chair: Jeremy Gibbons (Oxford University)
  Report from the program chair
  Ralf Hinze (Universit├Ąt Bonn)

  Scrap++: Scrap Your Boilerplate in C++
  Gustav Munkby, Andreas Priesnitz, Sibylle Schupp, Marcin Zalewski (Chalmers University of Technology)

  A Technique for Generic Iteration and Its Optimization
  Stephen Watt (University of Western Ontario)

  Lightning talks: to be announced

16.3o - 18.oo, session chair: Jeremy Siek (Rice University)

  Towards An Automatic Complexity Analysis for Generic Programs
  Kyle Ross (Indiana University)

  An Object-Oriented Approach to Datatype Generic Programming
  Adriaan Moors, Frank Piessen, Wouter Joosen (Katholieke Universiteit Leuven)

  Discussion

============================================================================

_______________________________________________
Haskell mailing list
[hidden email]
http://www.haskell.org/mailman/listinfo/haskell