Mike Firth

Publication Activity (10 Years)

Years Active: 1989-1993
Publications (10 Years): 0

Publications

Colin Runciman, Ian Toyn, Mike Firth
An Incremental, Exploratory and Transformational Environment for the Lazy Functional Programming. J. Funct. Program. 3 (1) (1993)
Colin Runciman, Mike Firth
Formalised development of software by machine assisted transformation. Formal Methods in Software Development (1990)
Colin Runciman, Mike Firth, Nigel Jagger
Transformation in a Non-Strict Language: An Approach to Instantiation. Functional Programming (1989)