Geoffrey Burn

2 published titles

Lazy functional languages : abstract interpretation and compilation

1 edition

Theory and formal methods 1993 : proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 2

(Contributor)

1 edition