Mike Firth

According to our database, Mike Firth authored at least 3 papers between 1989 and 1993.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

1993

An Incremental, Exploratory and Transformational Environment for the Lazy Functional Programming.

Colin Runciman, Ian Toyn, Mike Firth

J. Funct. Program., 1993

1990

Formalised development of software by machine assisted transformation.

Colin Runciman, Mike Firth

Proceedings of the Conference proceedings on Formal methods in software development, 1990

1989

Transformation in a Non-Strict Language: An Approach to Instantiation.

Colin Runciman, Mike Firth, Nigel Jagger

Proceedings of the Functional Programming, 1989