Bird, R. S. "Lecture notes on constructive functional programming" Technical monograph 69; PRG, Oxford University, September 1988.
(1988)
Richard Bird
Languages mentioned
Squigol
{1986}