Login / Signup
Session Coalgebras: A Coalgebraic View on Regular and Context-free Session Types.
Alex C. Keizer
Henning Basold
Jorge A. Pérez
Published in:
ACM Trans. Program. Lang. Syst. (2022)
Keyphrases
</>
context free
context sensitive
grammatical inference
context dependent
inductive inference
context free grammars
context free languages
parse tree
attribute grammars
domain knowledge
finite state
graph grammars
grammar rules