FreeST: Context-free Session Types in a Functional Language.

Bernardo Almeida Andreia Mordido Vasco T. Vasconcelos

Published in: PLACES@ETAPS (2019)

Keyphrases

context free
functional language
context sensitive
grammatical inference
context dependent
functional programming
context free grammars
finite state
object oriented
programming language
high level
relational databases
markov chain
data mining
inductive inference
metadata
information retrieval