The VLISP verified PreScheme compiler

Chapman and Hall

Anne Lohrli · Notes and Queries · 1985 · 4.4K citations

Public Health, Behavioral Sciences, Experimental Psychology +1

A theory of type polymorphism in programming

Robin Milner · Journal of Computer and System Sciences · 1978 · 2.2K citations · Full text

Computing, Computer Science, Programming Languages +11

A Structural Approach to Operational Semantics

Gordon Plotkin · 2004 · 2K citations

Language Studies, Computer Science, Formal Methods +6

Denotational semantics: The scott-strachey approach to programming language theory

Computer Languages · 1983 · 1.2K citations

Computing, Computer Science, Formal Methods +8

Rabbit: A Compiler for Scheme

Jr. Guy L. Steele · DSpace@MIT (Massachusetts Institute of Technology) · 1978 · 404 citations · Full text

Computing, Computer Science, Compilers +12