Analysing Functions by Projection-Based Backward Abstraction

Functional Programming, Glasgow 1992 - Workshops in Computing ◽

10.1007/978-1-4471-3215-8_4 ◽

1993 ◽

pp. 43-56

Author(s):

Kei Davis

Download Full-text