IF1|an intermediate form for applicative languages (1985)

by S K Skedzielewski, J Glauert