Login / Signup
A Sound Definitional Interpreter for a Simply Typed Functional Language.
Burak Ekici
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