Home Advanced Search

Advanced Search - Page 1

Datatype-Generic Programming: International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures

PDF
English
Year: 2007
Author: Jeremy Gibbons (auth.), Roland Backhouse, Jeremy Gibbons, Ralf Hinze, Johan Jeuring (eds.)

Generic Programming: Advanced Lectures

PDF
English
Year: 2003
Author: Ralf Hinze, Johan Jeuring (auth.), Roland Backhouse, Jeremy Gibbons (eds.)

Generic Programming: Advanced Lectures

PDF
English
Year: 2003
Author: Ralf Hinze, Johan Jeuring (auth.), Roland Backhouse, Jeremy Gibbons (eds.)

Datatype-Generic Programming. International Spring School, SSDGP 2006

PDF
english
Year: 2007
Author: Roland Backhouse, Jeremy Gibbons, Ralf Hinze, Johan Jeuring (eds.)

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop Oxford, UK, April 10–14, 2000 Revised Lectures

PDF
English
Year: 2002
Author: Roy Crole (auth.), Roland Backhouse, Roy Crole, Jeremy Gibbons (eds.)

Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings

PDF
English
Year: 2009
Author: Jeffrey Kramer (auth.), Jeremy Gibbons, José Nuno Oliveira (eds.)

The fun of programming

DJVU
English
Year: 2003
Author: Gibbons, Jeremy; Moor, Oege de (eds)

Algorithm Design with Haskell

PDF
English
Year: 2020
Author: Richard Bird, Jeremy Gibbons

Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings

PDF
English
Year: 2007
Author: Nazareno Aguirre, Germán Regis, Tom Maibaum (auth.), Jim Davies, Jeremy Gibbons (eds.)

Mathematics of Program Construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings

PDF
English
Year: 2012
Author: Gilles Barthe, Benjamin Grégoire, Santiago Zanella Béguelin (auth.), Jeremy Gibbons, Pablo Nogueira (eds.)