Datatype-Generic Programming: Publications
Book chapters
-
[1]
Extensible and Modular Generics for the Masses
Ralf Hinze Bruno C. d. S. Oliveira and Andres Loeh
In Henrik Nilsson, editor, Trends in Functional Programming. 2007.
Best student paper award
Details about Extensible and Modular Generics for the Masses | BibTeX data for Extensible and Modular Generics for the Masses
Journal papers
-
[1]
The Essence of the Iterator Pattern
Jeremy Gibbons and Bruno César dos Santos Oliveira
In Journal of Functional Programming. Vol. 19. No. 3&4. Pages 377−402. 2009.
Revised version of Gibbons&Oliveira2006:Essence
Details about The Essence of the Iterator Pattern | BibTeX data for The Essence of the Iterator Pattern | DOI (10.1017/S0956796809007291) | Download (pdf) of The Essence of the Iterator Pattern
-
[2]
Metamorphisms: Streaming Representation−Changers
Jeremy Gibbons
In Science of Computer Programming. Vol. 65. No. 2. Pages 108−139. 2007.
Details about Metamorphisms: Streaming Representation−Changers | BibTeX data for Metamorphisms: Streaming Representation−Changers | DOI (10.1016/j.scico.2006.01.006) | Download (pdf) of Metamorphisms: Streaming Representation−Changers
Conference papers
-
[1]
The Visitor Pattern as a Reusable‚ Generic‚ Type−Safe Component
Bruno C. d. S. Oliveira‚ Meng Wang and Jeremy Gibbons
In Object−Oriented Programming: Systems‚ Languages‚ Applications (OOPSLA). 2008.
Details about The Visitor Pattern as a Reusable‚ Generic‚ Type−Safe Component | BibTeX data for The Visitor Pattern as a Reusable‚ Generic‚ Type−Safe Component | DOI (10.1145/1449764.1449799) | Download (pdf) of The Visitor Pattern as a Reusable‚ Generic‚ Type−Safe Component
-
[2]
Datatype−Generic Programming
Jeremy Gibbons
In Roland Backhouse‚ Jeremy Gibbons‚ Ralf Hinze and Johan Jeuring, editors, Spring School on Datatype−Generic Programming. Vol. 4719 of Lecture Notes in Computer Science. Springer−Verlag. 2007.
Details about Datatype−Generic Programming | BibTeX data for Datatype−Generic Programming | Download (pdf) of Datatype−Generic Programming
-
[3]
Generics as a Library
Bruno C. d. S. Oliveira‚ Ralf Hinze and Andres Löh
In Henrik Nilsson, editor, Proceedings of the Seventh Symposium on Trends in Functional Programming (TFP '06). Intellect. 2006.
Details about Generics as a Library | BibTeX data for Generics as a Library | Link to Generics as a Library
-
[4]
The Essence of the Iterator Pattern
Jeremy Gibbons and Bruno César dos Santos Oliveira
In Conor McBride and Tarmo Uustalu, editors, Mathematically−Structured Functional Programming. 2006.
Superseded by Gibbons&Oliveira2008:Essence
Details about The Essence of the Iterator Pattern | BibTeX data for The Essence of the Iterator Pattern | Download (pdf) of The Essence of the Iterator Pattern
-
[5]
Design Patterns as Higher−Order Datatype−Generic Programs
Jeremy Gibbons
In Ralf Hinze, editor, Workshop on Generic Programming. September, 2006.
Details about Design Patterns as Higher−Order Datatype−Generic Programs | BibTeX data for Design Patterns as Higher−Order Datatype−Generic Programs | Download (pdf) of Design Patterns as Higher−Order Datatype−Generic Programs
-
[6]
TypeCase: A Design Pattern for Type−Indexed Functions
Bruno César dos Santos Oliveira and Jeremy Gibbons
In Daan Leijen, editor, Haskell Workshop. Pages 98−109. 2005.
Details about TypeCase: A Design Pattern for Type−Indexed Functions | BibTeX data for TypeCase: A Design Pattern for Type−Indexed Functions | DOI (10.1145/1088348.1088358) | Download (pdf) of TypeCase: A Design Pattern for Type−Indexed Functions
-
[7]
Design Patterns as Higher−Order Datatype−Generic Programs
Jeremy Gibbons
In Object−Oriented Programming: Systems‚ Languages‚ Applications. San Diego. October, 2005.
A revision of Gibbons2005:DesignECOOP
Details about Design Patterns as Higher−Order Datatype−Generic Programs | BibTeX data for Design Patterns as Higher−Order Datatype−Generic Programs | Link to Design Patterns as Higher−Order Datatype−Generic Programs
-
[8]
Design Patterns as Higher−Order Datatype−Generic Programs
Jeremy Gibbons
In European Conference on Object−Oriented Programming. Glasgow. July, 2005.
Later version appears as Gibbons2005:DesignOOPSLA
Details about Design Patterns as Higher−Order Datatype−Generic Programs | BibTeX data for Design Patterns as Higher−Order Datatype−Generic Programs | Link to Design Patterns as Higher−Order Datatype−Generic Programs
-
[9]
Streaming Representation−Changers
Jeremy Gibbons
In Dexter Kozen, editor, Mathematics of Program Construction. Vol. 3125 of Lecture Notes in Computer Science. Pages 142−168. July, 2004.
http://www.springerlink.com/index/LHQ73WU5GU686976
Details about Streaming Representation−Changers | BibTeX data for Streaming Representation−Changers | DOI (10.1007/978-3-540-27764-4_9) | Download (pdf) of Streaming Representation−Changers
-
[10]
Patterns in Datatype−Generic Programming
Jeremy Gibbons
In Jörg Striegnitz and Kei Davis, editors, Multiparadigm Programming. Vol. 27. Pages 277−289. John von Neumann Institute for Computing (NIC). 2003.
First International Workshop on Declarative Programming in the Context of Object−Oriented Languages (DPCOOL)
Details about Patterns in Datatype−Generic Programming | BibTeX data for Patterns in Datatype−Generic Programming | Download (pdf) of Patterns in Datatype−Generic Programming
Theses
-
[1]
Genericity‚ extensibility and type−safety in the Visitor pattern
Bruno C. d. S. Oliveira
PhD Thesis 2007.
Details about Genericity‚ extensibility and type−safety in the Visitor pattern | BibTeX data for Genericity‚ extensibility and type−safety in the Visitor pattern | Download (pdf) of Genericity‚ extensibility and type−safety in the Visitor pattern | Download (pdf) of Genericity‚ extensibility and type−safety in the Visitor pattern
Miscellaneous
-
[1]
The Different Aspects of Monads and Mixins
Bruno C. d. S. Oliveira
2009.
Draft Paper. Last Update: 04/03/2009. Submitted to ICFP 2009.
Details about The Different Aspects of Monads and Mixins | BibTeX data for The Different Aspects of Monads and Mixins | Download (pdf) of The Different Aspects of Monads and Mixins