Ponder and its type system (1982)

by j fairburn