Ponder and its type system (1982)

by J FAIRBURN