FGL+LV(ID:1142/fgl003)
Began: 1985
Languages for 1985
1980s languages
Fifth generation
Late Cold War
Published: 1985
1985
Functional Programming and the Logical Variable, G. Lindstrom, POPL 1985, pp.266-280.
Structures:
Function