My early research was inspired by the mathematical semantics of Scott and Strachey. Two such topics, recounted in this paper, were the fixed-point analysis of ...
My early research was inspired by the mathematical semantics of Scott and Strachey. Two such topics, recounted in this paper, were the fixed-point analysis.
No information is available for this page. · Learn why
My early research was inspired by the mathematical semantics of Scott and Strachey, and two topics, recounted in this paper, were the fixed-point analysis ...
My early research was inspired by the mathematical semantics of Scott and Strachey. Two such topics, recounted in this paper, were the fixed-point analysis of ...
My early research was inspired by the mathematical semantics of Scott and Strachey. Two such topics, recounted in this paper, were the fixed-point analysis ...
Christopher Strachey, First-Class Citizen, Philip reviews Christopher Strachey's influence on modern-day functional programming languages. Philip Wadler, 26 ...
Missing: Recollections | Show results with:Recollections
His influential fundamental concepts in programming languages formalized the distinction between L- and R- values . In 1959, Strachey wrote one of the first ...
Missing: Recollections | Show results with:Recollections
The system was called SIS: Semantics Implementation System. In this talk, Peter recalls Strachey's influence on his research and on the development of SIS ...