Dependent session types via intuitionistic linear type theory.

Bernardo Toninho Luís Caires Frank Pfenning

Published in: PPDP (2011)

Keyphrases

multiple types
information retrieval
relational databases
statistically independent
social networks
expert systems
web search
closed form
fuzzy set theory