Functional Programming and the Logical Variable (1985)

by G Lindstrom
Venue:In 12th ACM POPL