IF1 – An Intermediate Form for Applicative Languages (1985)

by S Skedzielewski, J Glauert