Jeremy Gibbons's Documents

Jeremy Gibbons's Documents

Generic Programming: Advanced Lectures

Generic Programming: Advanced Lectures
Read more
Integrated Formal Methods, 6 conf., IFM 2007

Integrated Formal Methods, 6 conf., IFM 2007
Read more
Haskell’10 Proceedings of the 2010 ACM SIGPLAN Haskell Symposium

Haskell’10 Proceedings of the 2010 ACM SIGPLAN Haskell Symposium
Read more
Generic programming: advanced lectures

Generic programming: advanced lectures
Read more
Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings (Lecture Notes in ... Computer Science and General Issues)

Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings (Lecture Notes in ... Computer Science and General Issues)
Read more
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
Read more
Christmas at Cold Comfort Farm

Christmas at Cold Comfort Farm
Read more
The Monkey and the Fish: Liquid Leadership for a Third-Culture Church (Leadership Network Innovation Series)

The Monkey and the Fish: Liquid Leadership for a Third-Culture Church (Leadership Network Innovation Series)
Read more
Game Theory for Applied Economists

Game Theory for Applied Economists
Read more
Halloween

Halloween
Read more
Cold Comfort Farm (Penguin Classics Deluxe Edition)

Cold Comfort Farm (Penguin Classics Deluxe Edition)
Read more
Ellen Foster

Ellen Foster
Read more
A Primer in Game Theory

A Primer in Game Theory
Read more
The Self-Directed Learning Handbook: Challenging Adolescent Students to Excel

The Self-Directed Learning Handbook: Challenging Adolescent Students to Excel
Read more
Nonparametric statistical inference

Nonparametric statistical inference
Read more
Bridging Discourses in the ESL Classroom: Students, Teachers and Researchers

Bridging Discourses in the ESL Classroom: Students, Teachers and Researchers
Read more
The Edge

The Edge
Read more
Memoirs of My Life and Writings

Memoirs of My Life and Writings
Read more
Game theory for applied economists

Game theory for applied economists
Read more
File for Divorce in New Jersey, 2E (Legal Survival Guides)

File for Divorce in New Jersey, 2E (Legal Survival Guides)
Read more
Their Blood Runs Cold: Adventures with Reptiles and Amphibians

Their Blood Runs Cold: Adventures with Reptiles and Amphibians
Read more
Primer in Game Theory

Primer in Game Theory
Read more
Westwood (The Gentle Powers)

Westwood (The Gentle Powers)
Read more
Divining Women

Divining Women
Read more
Code-mixing and code choice: a Hong Kong case study

Code-mixing and code choice: a Hong Kong case study
Read more
Shakespeare and Multiplicity

Shakespeare and Multiplicity
Read more
Spirituality and the Occult

Spirituality and the Occult
Read more
The Monkey and the Fish: Liquid Leadership for a Third-Culture Church (Leadership Network Innovation Series)

The Monkey and the Fish: Liquid Leadership for a Third-Culture Church (Leadership Network Innovation Series)
Read more
The Golden Rule: Safe Strategies of Sage Investors

The Golden Rule: Safe Strategies of Sage Investors
Read more
Algorithmic graph theory

Algorithmic graph theory
Read more