Scott, Dana "Some Reflections on Strachey and His Work"
(2000)
(2000)
Higher-Order and Symbolic Computation April 2000 Volume 13 Issue 1-2
Dana Scott
Languages mentioned
CPL
{1963} Combined Programming Language