Coeffects: a calculus of context-dependent computation.

Tomas Petricek Dominic A. Orchard Alan Mycroft

Published in: ICFP (2014)

Keyphrases

context dependent
semantic level
context free
natural language
low level
high level
user centric
database
machine learning
automatically extracting