Programming in Haskell (2016)

First Author: Hutton
Attributed to:  Mind the Gap: Unified Reasoning About Program Correctness and Efficiency funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: http://www.cs.nott.ac.uk/~pszgmh/pih.html

Type: Book

Edition: 2nd Revised edition

ISBN: 9781316626221