Datatype-Generic Programming : Publications
|
[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. |
|
[2] |
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 |
|
[3] |
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. |
|
[4] |
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 |
|
[5] |
Genericity‚ extensibility and type−safety in the Visitor pattern Bruno C. d. S. Oliveira PhD Thesis 2007. |
|
[6] |
Metamorphisms: Streaming Representation−Changers Jeremy Gibbons In Science of Computer Programming. Vol. 65. No. 2. Pages 108−139. 2007. |
|
[7] |
Spring School on Datatype−Generic Programming Roland Backhouse‚ Jeremy Gibbons‚ Ralf Hinze and Johan Jeuring, editors Roland Backhouse‚ Jeremy Gibbons‚ Ralf Hinze and Johan Jeuring, editors |
|
[8] |
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. |
|
[9] |
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. |
|
[10] |
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 |
|
[11] |
Design Patterns as Higher−Order Datatype−Generic Programs Jeremy Gibbons In Ralf Hinze, editor, Workshop on Generic Programming. September, 2006. |
|
[12] |
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. |
|
[13] |
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 |
|
[14] |
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 |
|
[15] |
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. |
|
[16] |
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) |