OXFORD UNIVERSITY COMPUTING LABORATORY

Datatype-Generic Programming: Publications

by date |  by title |  by type |  bibtex

[1]

The Essence of the Iterator Pattern

Jeremy Gibbons, Bruno César dos Santos Oliveira

Journal of Functional Programming, Vol. 19, No. 3&4, pages 377-402. 2009.

Revised version of Gibbons&Oliveira2006:Essence.

[2]

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.

[3]

Metamorphisms: Streaming Representation-Changers

Jeremy Gibbons

Science of Computer Programming, Vol. 65, pages 108-139. 2007.

[4]

Spring School on Datatype-Generic Programming

Roland Backhouse et al. , editors

Vol. 4719 of Lecture Notes in Computer Science. Springer-Verlag. 2007.

[5]

Datatype-Generic Programming

Jeremy Gibbons

In Roland Backhouse et al. , editors, Spring School on Datatype-Generic Programming Vol. 4719 of Lecture Notes in Computer Science. Springer-Verlag, 2007.

[6]

The Essence of the Iterator Pattern

Jeremy Gibbons, Bruno César dos Santos Oliveira

In Conor McBride, Tarmo Uustalu, editors, Mathematically-Structured Functional Programming 2006.

Superseded by Gibbons&Oliveira2008:Essence.

[7]

Design Patterns as Higher-Order Datatype-Generic Programs

Jeremy Gibbons

In Ralf Hinze, editor, Workshop on Generic Programming September 2006.

[8]

TypeCase: A Design Pattern for Type-Indexed Functions

Bruno César dos Santos Oliveira, Jeremy Gibbons

In Daan Leijen, editor, Haskell Workshop pages 98-109. 2005.

[9]

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.

[10]

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.

[11]

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

[12]

Patterns in Datatype-Generic Programming

Jeremy Gibbons

In Jörg Striegnitz, 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).

Random Image
Random Image
Random Image