A Transient Semantics for Typed Racket.

Ben Greenman Lukas Lazarek Christos Dimoulas Matthias Felleisen

Published in: CoRR (2021)

Keyphrases

higher order
steady state
formal semantics
semantic information
information systems
pairwise
logic programming
semantic relationships
logical language
data sets
high level
database systems
situation calculus
model theoretic