Higher-order Context-free Session Types in System F.
Diana CostaAndreia MordidoDiogo PoçasVasco T. VasconcelosPublished in: PLACES@ETAPS (2022)
Keyphrases
- context free
- higher order
- grammatical inference
- context sensitive
- context dependent
- context free grammars
- finite state
- predicate invention
- context free languages
- inductive inference
- markov chain
- pairwise
- knowledge based systems
- domain specific
- state space
- query processing
- grammar rules
- information retrieval
- machine learning