Burge's Language

Burge's Language

Unnamed functional language based on lambda-calculus. Recursive Programming techniques", W.H. Burge, A-W 1975.
This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)