Concepedia
Theoretical Computer Science · 1977 · 1.1K citations · 3 references
High-level Programming LanguageEngineeringProgram AnalysisFormal MethodsSoftware EngineeringComputer ScienceDomain-specific LanguageSoftware AnalysisSoftware DesignProgramming Language Design
3
Call-by-name, call-by-value and the λ-calculus
Gordon Plotkin · Theoretical Computer Science · 1975 · 1.2K citations
Engineering, Automated Reasoning, Functional Programming Language +3
Formal Semantics of Programming Languages
Peter D. Mosses · Electronic Notes in Theoretical Computer Science · 2006 · 92 citations · Full text
Engineering, Software Engineering, Semantics +16
Correct and optimal implementations of recursion in a simple programming language
Jean Vuillemin · 1973 · 34 citations · Full text
Sequential Languages, Engineering, Computational Complexity +22