The next 700 formal language descriptions

LISP and Symbolic Computation

Volumn 6, Issue 3-4, 1993, Pages 249-257

  Morris, Lockwood ^a  

^a NONE

Author keywords

Delayed Evaluation; Equational Programming; Functional Programming; Logic Programming; Symbolic Computation; Symbolic Deduction

Indexed keywords

EID: 0011906248     PISSN: 08924635     EISSN: 15730557     Source Type: Journal    
DOI: 10.1007/BF01019460     Document Type: Article

References (5)

1. The mechanical evaluation of expressions
2. The next 700 programming languages
3. GEDANKEN—a simple typeless language based on the principle of completeness and the reference concept