Burge's Language

Burge's Language

Unnamed functional language based on lambda-calculus.Recursive Programming techniques", W.H. Burge, A-W 1975.