Relative Specification and Transformational Reuse of Functional Programs (1990)

Cached

Download Links

by Colin Runciman , Nigel Jagger
Venue:Lisp and Symbolic Computation
Citations:2 - 1 self