Difference between revisions of "Research papers/Generics"
Jump to navigation
Jump to search
DonStewart (talk | contribs) (+papers) |
m (added sections) |
||
| Line 1: | Line 1: | ||
| − | |||
__TOC__ |
__TOC__ |
||
| + | ==Scrap your boilerplate!== |
||
| ⚫ | |||
;[http://research.microsoft.com/~simonpj/Papers/hmap/index.htm Scrap your boilerplate: a practical approach to generic programming] |
;[http://research.microsoft.com/~simonpj/Papers/hmap/index.htm Scrap your boilerplate: a practical approach to generic programming] |
||
| Line 16: | Line 15: | ||
:Ralf Hinze, Andres Lh 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. |
:Ralf Hinze, Andres Lh 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. |
||
| ⚫ | |||
| ⚫ | |||
| ⚫ | |||
| + | |||
| ⚫ | |||
| ⚫ | |||
| + | |||
| + | ==Other== |
||
;[http://www.informatik.uni-bonn.de/~ralf/publications/ICFP04.pdf Generics for the masses] |
;[http://www.informatik.uni-bonn.de/~ralf/publications/ICFP04.pdf 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. |
:Ralf Hinze. In Kathleen Fisher, editor, Proceedings of the 2004 International Conference on Functional Programming, Snowbird, Utah, September 19-22, 2004. |
||
| Line 48: | Line 55: | ||
;[http://www.informatik.uni-bonn.de/~ralf/publications/habilitation.pdf Generic Programs and Proofs] |
;[http://www.informatik.uni-bonn.de/~ralf/publications/habilitation.pdf Generic Programs and Proofs] |
||
:Ralf Hinze. Habilitationsschrift, Universitt Bonn, October 2000. |
:Ralf Hinze. Habilitationsschrift, Universitt Bonn, October 2000. |
||
| − | |||
| ⚫ | |||
| ⚫ | |||
;[http://www.informatik.uni-bonn.de/~ralf/publications.html Type-indexed data types] |
;[http://www.informatik.uni-bonn.de/~ralf/publications.html Type-indexed data types] |
||
| Line 57: | Line 61: | ||
;[http://www.informatik.uni-bonn.de/~ralf/publications.html Combining generics and dynamics] |
;[http://www.informatik.uni-bonn.de/~ralf/publications.html 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. |
:Peter Achten and Ralf Hinze. Technical Report NIII-R0206, Nijmegen Institute for Computing and Information Sciences, University of Nijmegen, July 2002. |
||
| − | |||
| ⚫ | |||
| ⚫ | |||
;[http://homepages.cwi.nl/~ralf/wrs04/ Programmable rewriting strategies in Haskell] |
;[http://homepages.cwi.nl/~ralf/wrs04/ Programmable rewriting strategies in Haskell] |
||
Revision as of 18:12, 21 April 2006
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 Lh 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.
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
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 Lh. In Eerke Boiten, Bernhard Mller, 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 Lh. 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). To appear in Haskell Workshop, September 2005.
- Design Patterns as Higher-Order Datatype-Generic Programs
- Jeremy Gibbons (2006). Submitted for publication.