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