School of Computing

Formulating Haskell

Simon Thompson

Technical Report 29-92*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, November 1992.


The functional programming language Haskell is examined from the point of view of proving programs correct. Particular features explored include the data type definition facilities, classes, the behaviour of patterns and guards and the monad approach to IO in the Glasgow Haskell compiler.

Download publication 49 kbytes

Bibtex Record

author = {Simon Thompson},
title = {{Formulating Haskell}},
month = {November},
year = {1992},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {},
    address = {University of Kent, Canterbury, UK},
    hensa_abstractfilename = {pub/misc/ukc.reports/comp.sci/abstracts/29-92},
    hensa_ftpaddress = {},
    hensa_reportfilename = {pub/misc/ukc.reports/comp.sci/reports/},
    institution = {University of Kent, Computing Laboratory},
    number = {29-92*},

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014