Formal Methods and Functional Programming

In this course, participants will learn about new ways of specifying, reasoning about, and developing programs and computer systems. The first half will focus on using functional programs to express and reason about computation. The second half presents methods for developing and verifying programs represented as discrete transition systems.

AVAILABLE
READING ROOM ONLY
NOT AVAILABLE
ONLINE VERSION
cover image

Purely functional data structures

Chris Okasaki

Signature Year Rack/Shelf Lecture Return Date Status
Textbook.B.129.03.2 1999 4 / 3 Formal Methods and Functional Programming Available
Textbook.B.129.03.1 1999 4 / 3 Formal Methods and Functional Programming On-site use only
AVAILABLE
READING ROOM ONLY
NOT AVAILABLE
cover image

Haskell

The craft of functional programming

Simon Thompson

Signature Year Rack/Shelf Lecture Return Date Status
Textbook.B.072.10.1 2011 6 / 1 Information Security Available
Textbook.B.072.10.2 2011 6 / 1 Information Security Available
Textbook.B.072.10.3 2011 6 / 1 Information Security Available
Textbook.B.072.10.4 2011 6 / 1 Information Security Available
Textbook.B.072.10.5 2011 6 / 1 Information Security Available
Textbook.B.129.07.3 2011 4 / 3 Formal Methods and Functional Programming Available
Textbook.B.129.07.4 2011 4 / 3 Formal Methods and Functional Programming Available
Textbook.B.129.07.6 2011 4 / 3 Formal Methods and Functional Programming Available
IE.99.23 1999 Available
Textbook.B.129.07.1 2011 4 / 3 Formal Methods and Functional Programming On-site use only
Textbook.B.129.07.5 2011 4 / 3 Formal Methods and Functional Programming 3.3.2025 Unavailable
AVAILABLE
READING ROOM ONLY
NOT AVAILABLE
ONLINE VERSION
cover image

Learn you a Haskell for great good!

A beginner's guide

by Miran Lipovača

Signature Year Rack/Shelf Lecture Return Date Status
Textbook.B.129.10.1 2011 4 / 3 Formal Methods and Functional Programming Available
Textbook.B.129.10.2 2011 4 / 3 Formal Methods and Functional Programming Available
Textbook.B.129.10.3 2011 4 / 3 Formal Methods and Functional Programming Available
Textbook.B.129.10.4 2011 4 / 3 Formal Methods and Functional Programming Available
AVAILABLE
READING ROOM ONLY
NOT AVAILABLE
ONLINE VERSION
cover image

Programming in Haskell

Graham Hutton

Signature Year Rack/Shelf Lecture Return Date Status
EX.0000.67.1 2007 Available
EX.0000.67.2 2007 Available
EX.0000.67.3 2007 Available
Textbook.B.129.11.1 2016 4 / 3 Formal Methods and Functional Programming On-site use only
Textbook.B.129.11.2 2016 4 / 3 Formal Methods and Functional Programming 21.3.2025 Unavailable
AVAILABLE
READING ROOM ONLY
NOT AVAILABLE
cover image

Introduction to functional programming using Haskell

Richard Bird

Signature Year Rack/Shelf Lecture Return Date Status
Textbook.B.129.02.1 1998 4 / 3 Formal Methods and Functional Programming Available
Textbook.B.129.02.2 1998 4 / 3 Formal Methods and Functional Programming Available
Textbook.B.129.02.3 1998 4 / 3 Formal Methods and Functional Programming Available
Textbook.B.129.02.4 1998 4 / 3 Formal Methods and Functional Programming On-site use only
AVAILABLE
READING ROOM ONLY
NOT AVAILABLE
ONLINE VERSION
cover image

Real World Haskell

Bryan O'Sullivan, John Goerzen, and Don Stewart

Signature Year Rack/Shelf Lecture Return Date Status
Textbook.B.129.06.2 2009 4 / 3 Formal Methods and Functional Programming Available
Textbook.B.129.06.3 2009 4 / 3 Formal Methods and Functional Programming Available
Textbook.B.129.06.1 2009 4 / 3 Formal Methods and Functional Programming On-site use only
AVAILABLE
READING ROOM ONLY
NOT AVAILABLE
cover image

Principles of model checking

Christel Baier, Joost-Pieter Katoen

Signature Year Rack/Shelf Lecture Return Date Status
Textbook.B.129.05.1 2007 4 / 3 Formal Methods and Functional Programming On-site use only
Textbook.B.129.05.2 2007 4 / 3 Formal Methods and Functional Programming Unavailable
Textbook.B.129.05.3 2007 4 / 3 Formal Methods and Functional Programming 10.3.2025 Unavailable
AVAILABLE
READING ROOM ONLY
NOT AVAILABLE
ONLINE VERSION
cover image

Semantics with applications

An appetizer

Hanne Riis Nielson, Flemming Nielson

Signature Year Rack/Shelf Lecture Return Date Status
Textbook.B.129.08.1 2007 4 / 3 Formal Methods and Functional Programming Available
Textbook.B.129.08.2 2007 4 / 3 Formal Methods and Functional Programming Available
AVAILABLE
READING ROOM ONLY
NOT AVAILABLE
ONLINE VERSION
cover image

The Haskell school of expression

Learning functional programming through multimedia

Paul Hudak

Signature Year Rack/Shelf Lecture Return Date Status
Textbook.B.129.04.2 2000 4 / 3 Formal Methods and Functional Programming Available
Textbook.B.129.04.3 2000 4 / 3 Formal Methods and Functional Programming Available
Textbook.B.129.04.4 2000 4 / 3 Formal Methods and Functional Programming Available
Textbook.B.129.04.1 2000 4 / 3 Formal Methods and Functional Programming On-site use only
AVAILABLE
READING ROOM ONLY
NOT AVAILABLE
ONLINE VERSION
cover image

Structure and interpretation of computer programs

Harold Abelson and Gerald Jay Sussman ; with Julie Sussman ; forew. by Alan J. Perlis

Signature Year Rack/Shelf Lecture Return Date Status
Textbook.B.129.01.1 1996 4 / 3 Formal Methods and Functional Programming Available
Textbook.B.129.01.2 1996 4 / 3 Formal Methods and Functional Programming Available
Textbook.B.129.01.3 1996 4 / 3 Formal Methods and Functional Programming Available
IE.96.24 1996 Available
ID.85.2 1985 Available
Textbook.B.129.01.4 1996 4 / 3 Formal Methods and Functional Programming On-site use only