Readscheme.org
Haskell Bibliography Home
Language Design
Monads
XML and the Web
Generic Programming
Applications
Compiler Technology
GUI Programming
Parallel Programming
Recent Additions
Search...

Generic and Polytypic Programming

  • Adam Bakewell and Colin Runciman. "Automated Generalisation of Function Definitions". Proc. Functional and Logic Programming (FLOPS'99). November 1999. Bibtex citation.
  • Magnus Carlsson. "Generic Unification Generalized, or Datatypes parameterized over Typerecords". Dagstuhl Seminar Dependent Type Theory meets Practical Programming. August 2001. Available online: ps. Bibtex citation.
  • James Cheney and Ralf Hinze. "A Lightweight Implementation of Generics and Dynamics". Haskell Workshop 2002. October 2002. Available online: ps pdf. Bibtex citation.
  • Ulf Norell. "Functional Generic Programming and Type Theory". Masters Thesis. Chalmers University. 2002. Available online: ps. Bibtex citation.
  • Patrik Jansson and Johan Jeuring. "Polytypic Data Conversion Programs". Science of Computer Programming. 43. 1. Available online: ps. Bibtex citation.
  • Paul Alexander Blampied. "Structured recursion for non-uniform data-types". PhD. Thesis. University of Nottingham. March 2000. Available online: pdf. Bibtex citation.
  • Ralf Laemmel and Simon Peyton Jones. "Scrap your boilerplate: a practical approach to generic programming". TLDI 2003. July 2002. Available online: ps. Bibtex citation.
  • Ian M. Bayley. "Generic Operations on Nested Datatypes". PhD. Thesis. Oxford University. May 2002. Available online: pdf. Bibtex citation.
  • James Cheney and Ralf Hinze. "Phantom types". 2002. Available online: ps pdf. Bibtex citation.
  • Ralf Lämmel and Joost Visser. "Typed Combinators for Generic Traversal". Proc. Practical Aspects of Declarative Programming PADL 2002. LNCS 2257. January 2002. Available online: ps pdf. Bibtex citation.
  • Ralf Lämmel and Joost Visser. "Typed Combinators for Generic Traversal". CWI. August 2001. Available online: ps pdf. Bibtex citation.
  • Ralf Lämmel and Joost Visser. "A Strafunski Application Letter". Proc. of PADL'03. January 2003. Available online: ps pdf. Bibtex citation.
  • Ralf Lämmel and Joost Visser. "Design Patterns for Functional Strategic Programming". Third ACM SIGPLAN Workshop on Rule-Based Programming RULE'02. October 2002. Available online: ps pdf. Bibtex citation.
  • Ralf Lämmel. "The Sketch of a Polymorphic Symphony". International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2002). 2002. Available online: ps pdf. Bibtex citation.
  • Ralf Lämmel and Joost Visser. "Strategic polymorphism requires just two combinators!". Preproceedings of IFL 2002, Implementation of Functional Languages. September 2002. Available online: ps pdf. Bibtex citation.
  • Ralf Lämmel and Eelco Visser and Joost Visser. "The Essence of Strategic Programming". October 2002. Available online: ps pdf. Bibtex citation.
  • Ralf Lämmel and Joost Visser. "Type-safe Functional Strategies". Proceedings of SFP'00. July 2000. Available online: ps pdf. Bibtex citation.
  • Ralf Lämmel and Joost Visser and Jan Kort. "Dealing with Large Bananas". Proceedings of WGP'2000. July 2000. Available online: ps pdf. Bibtex citation.
  • Jan Kort and Ralf Lämmel and Joost Visser. "Functional Transformation Systems". 9th International Workshop on Functional and Logic Programming. July 2000. Available online: ps pdf. Bibtex citation.
  • Jan Kort and Ralf Lämmel. "A Framework for Datatype Transformation". arXiv. cs.PL/0204018. April 2002. Available online: ps pdf. Bibtex citation.
  • Ralf Lämmel. "Towards Generic Refactoring". Workshop on Rule-Based Programming RULE'02. October 2002. Available online: ps pdf. Bibtex citation.
  • Ralf Hinze and Johan Jeuring. "Generic Haskell: Practice and Theory". Summer School on Generic Programming. 2002. Available online: pdf. Bibtex citation.
  • Ralf Hinze and Johan Jeuring. "Generic Haskell: Applications". Summer School on Generic Programming. 2002. Available online: pdf. Bibtex citation.
  • Johan Jeuring and Paul Hagg. "Generic Programming for XML Tools". Utrecht University. Technical report UU-CS-2002-023. 2002. Available online: pdf. Bibtex citation.
  • Dave Clarke and Andres Löh. "Generic Haskell, Specifically". WCGP 2002. 2002. Available online: pdf. Bibtex citation.
  • François-Régis Sinot. "Polytypic Programming and Dependent Types (Project report)". Chalmers University. 2001. Available online: ps. Bibtex citation.
  • Jan de Wit. "A technical overview of Generic Haskell". Masters Thesis. INF-SCR-02-03. 2002. Available online: pdf. Bibtex citation.
  • Ralf Hinze, Johan Jeuring, Andres Löh. "Type-indexed data types". Proceedings of the Sixth International Conference on Mathematics of Program Construction (MPC 2002). July 2002. Available online: ps pdf. Bibtex citation.
  • Ralf Hinze and Simon Peyton Jones. "Derivable type classes". Haskell Workshop 2000. September 2000. Available online: ps. Bibtex citation.
  • P. Jansson and J. Jeuring. "A Framework for Polytypic Programming on Terms, with an Application to Rewriting". Workshop on Generic Programming. UU-CS-2000-19. 2000. Available online: ps. Bibtex citation.
  • Patrik Jansson. "Functional Polytypic Programming". PhD. Thesis. Chalmers University of Technology and Göteborg University. 2000. Available online: ps. Bibtex citation.
  • Patrik Jansson and Johan Jeuring. "Polytypic Compact Printing and Parsing". ESOP'99. Available online: ps. Bibtex citation.
  • Roland Backhouse, Patrik Jansson, Johan Jeuring and Lambert Meertens. "Generic Programming - An Introduction". AFP'98. 1998. Available online: ps. Bibtex citation.
  • P. Jansson and J. Jeuring. "PolyLib - a library of polytypic functions". Workshop on Generic Programming. 1998. Available online: ps. Bibtex citation.
  • Joost Halenbeek. "Comparing Approaches to Polytypic Programming". Masters Thesis. Utrecht University. INF-SCR-99-02. December 1998. Available online: ps. Bibtex citation.
  • P. Jansson and J. Jeuring. "Polytypic Unification". Journal of Functional Programming. 8 (5). September 1998. Available online: ps. Bibtex citation.
  • Staffan Björk. "Parsers, Pretty Printers and PolyP". Masters Thesis. Göteborg University. 1997. Available online: ps. Bibtex citation.
  • Måns Vestin. "Genetic algorithms in Haskell with polytypic programming". Masters Thesis. Göteborg University. 1997. Available online: ps. Bibtex citation.
  • P. Jansson and J. Jeuring. "PolyP - a polytypic programming language extension". Conference Record of POPL '97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. 1997. Available online: ps. Bibtex citation.
  • J. Jeuring and P. Jansson. "Polytypic programming". Advanced Functional Programming. LNCS 1129. 1996. Available online: ps. Bibtex citation.
  • J. Jeuring. "Polytypic pattern matching". Conference Record of FPCA '95, SIGPLAN-SIGARCH-WG2.8 Conference on Functional Programming Languages and Computer Architecture. 1995. Available online: ps. Bibtex citation.
  • P. Jansson. "Polytypism and polytypic unification". Masters Thesis. Chalmers University of Technology. 1995. Available online: ps. Bibtex citation.
  • Ralf Hinze. "Functional Pearl: Formatting: a class act". Journal of Functional Programming. 2001. Bibtex citation.
  • Ralf Hinze. "Polytypic values possess polykinded types". Science of Computer Programming. MPC Special Issue. 2001. Bibtex citation.
  • Ralf Hinze. "Polytypic Programming with Ease". Journal of Functional and Logic Programming. 2001(3). July 2001. Bibtex citation.
  • Ralf Hinze. "Generalizing generalized tries". Journal of Functional Programming. 10(4). July 2000. Bibtex citation.
  • Ralf Hinze. "Polytypic functions over nested datatypes". Discrete Mathematics and Theoretical Computer Science. 3(4). 1999. Available online: ps pdf. Bibtex citation.
  • Ralf Hinze. "Memo functions, polytypically!". Proceedings of the Second Workshop on Generic Programming, WGP 2000. July 2000. Available online: ps. Bibtex citation.
  • Ralf Hinze. "Efficient Generalized Folds". Proceedings of the Second Workshop on Generic Programming, WGP 2000. July 2000. Available online: ps. Bibtex citation.
  • Ralf Hinze. "Polytypic values possess polykinded types". Proceedings of the Fifth International Conference on Mathematics of Program Construction (MPC 2000). July 2000. Available online: ps. Bibtex citation.
  • Ralf Hinze. "A New Approach to Generic Functional Programming". Proceedings of the 27th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. January 2000. Available online: ps. Bibtex citation.
  • Ralf Hinze. "Polytypic Programming with Ease". 4th Fuji International Symposium on Functional and Logic Programming (FLOPS'99). Lecture Notes in Computer Science 1722. November 1999. Available online: ps. Bibtex citation.
  • Ralf Hinze. "A Generic Programming Extension for Haskell". Proceedings of the Third Haskell Workshop. September 1999. Available online: ps. Bibtex citation.
  • Ralf Hinze. "Polytypic Functions Over Nested Datatypes". 3rd Latin-American Conference on Functional Programming (CLaPF'99). March 1999. Available online: ps. Bibtex citation.
  • Ralf Hinze. "Generic Programs and Proofs". Habilitationsschrift. October 2000. Available online: ps pdf. Bibtex citation.
  • Ralf Hinze. "Polytypic values possess polykinded types". Institut für Informatik III, Universität Bonn. Technical Report IAI-TR-99-15. December 1999. Available online: ps. Bibtex citation.
  • Ralf Hinze. "A New Approach to Generic Functional Programming". Institut für Informatik III, Universität Bonn. Technical Report IAI-TR-99-9. July 1999. Available online: ps. Bibtex citation.
  • Ralf Hinze. "Efficient generalized folds". Institut für Informatik III, Universität Bonn. Technical Report IAI-TR-99-8. June 1999. Available online: ps. Bibtex citation.
  • Ralf Hinze. "Polytypic programming with ease". Institut für Informatik III, Universität Bonn. Technical Report IAI-TR-99-2. February 1999. Available online: ps. Bibtex citation.
  • Ralf Hinze. "Generalizing Generalized Tries". Institut für Informatik III, Universität Bonn. Technical Report IAI-TR-98-11. November 1998. Available online: ps. Bibtex citation.
  • Ralf Hinze. "Polytypic Functions Over Nested Datatypes". Institut für Informatik III, Universität Bonn. Technical Report IAI-TR-98-10. October 1998. Available online: ps. Bibtex citation.

Last modified: Saturday, December 24th, 2005 12:22:20am
HTML generated using WebIt!.