Login / Signup
A type and scope safe universe of syntaxes with binding: their semantics and proofs.
Guillaume Allais
Robert Atkey
James Chapman
Conor McBride
James McKinna
Published in:
Proc. ACM Program. Lang. (2018)
Keyphrases
</>
theorem proving
type checking
real time
theorem prover
data sets
learning algorithm
social networks
domain knowledge
logic programming
multiple types
formal semantics
semantic representation
database query languages