The kernel of the applicative language CDS: theory and practice (1985)

by G Berry, P-L Curien
Venue:Proc. French-US Seminar on the Applications of Algebra to Language Definition and Compilation