Intrinsically-Typed Mechanized Semantics for Session Types.

Published in: PPDP (2019)

Keyphrases

logic programming
formal semantics
genetic algorithm
higher order
semantic information
database
databases
data mining
multiscale