A Sound Definitional Interpreter for a Simply Typed Functional Language.

Published in: Axioms (2023)

Keyphrases

functional language
programming language
functional programming
proof planning
object oriented
general purpose
logic programming
high level
object oriented programming
object identity
data model
software engineering