University of Oxford Logo University of OxfordDepartment of Computer Science - Home
On Facebook
Facebook
Follow us on twitter
Twitter
Linked in
Linked in
Flickr
Flickr
Google plus
Google plus
Digg
Digg
Pinterest
Pinterest
Stumble Upon
Stumble Upon

Datatype-Generic Programming : Publications

by dateby titleby typebibtex

[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

[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.

http://www.springerlink.com/index/LHQ73WU5GU686976

[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)