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