Machine-checked semantic session typing.

Jonas Kastberg Hinrichsen Daniël Louwrink Robbert Krebbers Jesper Bengtson

Published in: CPP (2021)

Keyphrases

data sets
natural language
semantic knowledge
semantic network
batch processing
semantic similarity
semantic information
domain ontology
semantic web
domain specific
context dependent
semantic search
special case
natural language understanding
semantically meaningful
semantic level
semantically rich
social networks