A Simply Typed Context Calculus with First-Class Environments.

Masahiko Sato Takafumi Sakurai Yukiyoshi Kameyama

Published in: FLOPS (2001)

Keyphrases

real world
contextual information
context aware
context sensitive
information retrieval
artificial intelligence
support vector
programming language