Functional languages are becoming popular for the ease of programming that they facilitate. The implementation of a class of these languages is described. A method for compile-time detection of potential garbage in one ...