A symbolic calculator for non-strict functional languages (1994)

by D Goldson
Venue:The Computer Journal