Login / Signup
A Transient Semantics for Typed Racket.
Ben Greenman
Lukas Lazarek
Christos Dimoulas
Matthias Felleisen
Published in:
Art Sci. Eng. Program. (2022)
Keyphrases
</>
steady state
formal semantics
logic programming
higher order
intended meaning
case study
semantic information
lambda calculus
real time
database query languages
operational semantics
active rules
conceptual graphs
conceptual model
data model
information systems
artificial intelligence