Information about generic programming





 
Proactol

HaskellWiki

Haskell  Wiki community  Recent changes
Random page  Special pages
Not logged in
Log in  Help

Edit this page  Discuss this page  Page history  What links here 
Related changes
Research papers/Generics
========================

< Research papers
Categories: Research

Contents
--------
  1. Overview
  1. Scrap your boilerplate!
  1. Generic Haskell
3.1 Applications of Generic Haskell
  1. Other
edit
  1. Overview ----------
Comparing Approaches to Generic Programming in Haskell
      Ralf Hinze, Johan Jeuring, and Andres Löh. To appear in Roland
      Backhouse, Jeremy Gibbons, Ralf Hinze, and Johan Jeuring,
      editors, Lecture notes of the Spring School on Datatype-Generic
      Programming 2006, © Springer-Verlag.

Comparing Libraries for Generic Programming in Haskell
      Alexey Rodriguez Yakushev, Johan Jeuring, Patrik Jansson, Alex
      Gerdes, Oleg Kiselyov, Bruno C. d. S. Oliviera. In Andy Gill,
      editor, Proceedings of the ACM SIGPLAN Haskell Symposium, and
      available as an extended version: Technical report Utrecht
      University UU-CS-2008-010, 2008.
edit
  1. Scrap your boilerplate! -------------------------
Scrap your boilerplate: a practical approach to generic programming
      Ralf Laemmel and Simon Peyton Jones, Proc ACM SIGPLAN Workshop
      on Types in Language Design and Implementation (TLDI 2003), New
      Orleans, pp26-37, Jan 2003.

Scrap more boilerplate: reflection, zips, and generalised casts
      Ralf Laemmel and Simon Peyton Jones. appeared in Proceedings of
      ICFP 2004, ACM Press
Scrap your boilerplate with class: extensible generic functions
      Ralf Laemmel and Simon Peyton Jones. appeared in Proceedings of
      ICFP 2005, ACM Press

"Scrap Your Boilerplate" Reloaded
      Ralf Hinze, Andres Löh and Bruno C. d. S. Oliveira. In Philip
      Wadler and Masimi Hagiya, editors, Proceedings of the Eighth
      International Symposium on Functional and Logic Programming
      (FLOPS 2006), 24-26 April 2006, Fuji Susono, Japan.
RecLib - A Recursion and Traversal Library for Haskell (Or: Scrap Your
Boilerplate Systematically)
      Deling Ren and Martin Erwig, Haskell Workshop 2006

Uniplate - Uniform Boilerplate and List Processing
      Neil Mitchell and Colin Runciman, Haskell Workshop 2007
edit
  1. Generic Haskell -----------------
Generic Haskell: Applications
      Ralf Hinze and Johan Jeuring. Technical Report UU-CS-2003-16,
      Department of Computer Science, Utrecht University, 2003.

Generic Haskell: a language for generic programming
      Johan Jeuring et al
Generic Haskell: Practice and theory
      R Hinze, J Jeuring - lecture notes of the Summer School on
      Generic Programming, 2002 - Springer

Generic views on data types
      Stefan Holdermans, Johan Jeuring, Andres Löh, and Alexey
      Rodriquez. In Tarmo Uustalu, editor, Mathemetics of Program
      Construction, 8th International Conference, MPC 2006,
      Kuressaare, Estonia, July 3—5, 2006, Proceedings, volume 4014 of
      Lecture Notes in Computer Science, pages 209—234.
      Springer-Verlag, 2006.
Inferring type isomorphisms generically
      Frank Atanassow and Johan Jeuring. In Proc. Mathematics of
      Program Construction (MPC) 2004.

edit
3.1 Applications of Generic Haskell

Scripting XML with Generic Haskell
      Frank Atanassow, Dave Clarke and Johan Jeuring. In Proc. 7th
      Brazilian Symposium on Programming Languages (SBLP) 2003.
UUXML: A Type-Preserving XML SchemaHaskell Data Binding
      Frank Atanassow, Dave Clarke and Johan Jeuring. In Proc.
      Practical Aspects of Declarative Languages (PADL) 2004.

edit
  1. Other -------
Generics for the masses
      Ralf Hinze. In Kathleen Fisher, editor, Proceedings of the 2004
      International Conference on Functional Programming, Snowbird,
      Utah, September 19-22, 2004.

A Lightweight Implementation of Generics and Dynamics
      James Cheney and Ralf Hinze. In Manuel Chakravarty, editor,
      Proceedings of the ACM SIGPLAN 2002 Haskell Workshop,
      Pittsburgh, PA, USA, October 3, 2002, pp 90-104.
Type-indexed data types
      Ralf Hinze, Johan Jeuring, Andres Löh. In Eerke Boiten, Bernhard
      Möller, editors, Proceedings of the Sixth International
      Conference on Mathematics of Program Construction (MPC 2002),
      Dagstuhl, Germany, July 8-10, 2002. Lecture Notes in Computer
      Science 2386, pp. 148-174.

Memo functions, polytypically!
      Ralf Hinze. In Johan Jeuring, editor, Proceedings of the Second
      Workshop on Generic Programming, WGP 2000, Ponte de Lima,
      Portugal, 6th July 2000.
Efficient Generalized Folds
      Ralf Hinze. In Johan Jeuring, editor, Proceedings of the Second
      Workshop on Generic Programming, WGP 2000, Ponte de Lima,
      Portugal, 6th July 2000.

Polytypic values possess polykinded types
      Ralf Hinze. In Roland Backhouse, J.N. Oliveira, editors,
      Proceedings of the Fifth International Conference on Mathematics
      of Program Construction (MPC 2000), Ponte de Lima, Portugal,
      July 3-5, 2000.
A New Approach to Generic Functional Programming
      Ralf Hinze. In Proceedings of the 27th Annual ACM SIGPLAN-SIGACT
      Symposium on Principles of Programming Languages, Boston,
      Massachusetts, January 19-21, 2000.

Polytypic Programming with Ease
      Ralf Hinze. In 4th Fuji International Symposium on Functional
      and Logic Programming (FLOPS'99), Tsukuba, Japan, November 1999,
      pp. 21-36. Lecture Notes in Computer Science 1722.
A Generic Programming Extension for Haskell
      Ralf Hinze. In Erik Meijer, editor, Proceedings of the Third
      Haskell Workshop, Paris, France, September 1999. The proceedings
      appear as a technical report of Universiteit Utrecht,
      UU-CS-1999-28.

Polytypic Functions Over Nested Datatypes
      Ralf Hinze. In Rafael Dueire Lins, editor, 3rd Latin-American
      Conference on Functional Programming (CLaPF'99), March 1999.
Generic Programs and Proofs
      Ralf Hinze. Habilitationsschrift, Universitt Bonn, October 2000.

Type-indexed data types
      Ralf Hinze, Johan Jeuring, and Andres Löh. Technical Report
      UU-CS-2002-11, Department of Computer Science, Utrecht
      University, 2002.
Combining generics and dynamics
      Peter Achten and Ralf Hinze. Technical Report NIII-R0206,
      Nijmegen Institute for Computing and Information Sciences,
      University of Nijmegen, July 2002.

Programmable rewriting strategies in Haskell
      Ralf Lämmel, Invited paper, Proceedings of WRS 2004 13 pages To
      appear in ENTCS, 2004
A Strafunski Application Letter
      Ralf Lämmel and Joost Visser, Proc. of Practical Aspects of
      Declarative Programming (PADL'03), LNCS 2562, 2003, 357--375.

Dealing with Large Bananas
      Ralf Lämmel and Joost Visser and Jan Kort, 46--59, WGP00
      Proceedings of WGP'2000, Technical Report, Universiteit Utrecht
Strategic polymorphism requires just two combinators!
      Ralf Lämmel and Joost Visser, arXiv, cs.PL/0212048, 2002

Type-safe Functional Strategies
      Ralf Lämmel and Joost Visser, draft proceedings of SFP'00, St
      Andrews, 2000.
TypeCase: A Design Pattern for Type-Indexed Functions
      Bruno C. d. S. Oliveira and Jeremy Gibbons (2005). Haskell
      Workshop, September 2005.

Design Patterns as Higher-Order Datatype-Generic Programs
      Jeremy Gibbons (2006). Submitted for publication.
Functor Pulling
      Lambert Meertens. Proceedings of the International Workshop on
      Generic Programming (WGP'98), Marstrand, Sweden, June 1998.

Generic Programming -- An Introduction
      Lambert Meertens, Roland Backhouse, Patrik Jansson and Johan
      Jeuring. Advanced Functional Programming (S. Doaitse Swierstra,
      editor), LNCS 1608, pp. 28-115, 1999.
Calculemus Igitur!
      Lambert Meertens, Presented at The Fun of Programming, a
      Symposium in honour of Richard Bird's 60th birthday

Calculate Polytypically!
      Lambert Meertens, Programming Languages: Implementations Logics,
      and Programs, Proceedings PLILP '96 (Herbert Kuchen and S.
      Doaitse Swierstra, editors), LNCS 1140, pp. 1--16, 1996.
Category Theory for Program Construction
      Lambert Meertens, Lecture Notes for ESSLLI '95, Barcelona,
      Catalunya.

RepLib: A Library for Derivable Type Classes
      Stephanie Weirich. Haskell Workshop, Portland, OR, USA,
      September 2006.
Type-safe Runtime Polytypic Programming
      Stephanie Weirich. To appear in Journal of Functional
      Programming, 2006.

Parametric datatype-genericity
      Jeremy Gibbons and Ross Paterson. Submitted for publication.
Retrieved from "http://www.haskell.org/haskellwiki/Researchpapers/Generics";

This page has been accessed 8,451 times. This page was last modified
17:58, 23 October 2009. Recent content is available under a simple
permissive license.
Recent content is available under a simple permissive license.
an if those had after when which
between him than again down under discount generic viagra blue pill me few
doing further above both have over against a after this
with all is of than was outta sight having against
look so i very above ourselves visit -
she Like, our off me to we
own has themselves was the too any has
me my about a what they few if theirs
her of being its how nor generic flonase of if other what
we herself having did ourselves such of have
maybe munchies Like, she from generic flonase while most these
generic flonase Like, against on could generic programming myself surely yourselves while before she below why itself can
some each generic programming again so no am again themselves some at no very most can to
my yourself here generic flonase off of hers Right on! until few very under a i do i
itself here the each when the
outta sight generic flonase be yourself above