From Polyvariant Flow Information to Intersection and Union Types.

Jens Palsberg Christina Pavlopoulou

Published in: POPL (1998)

Keyphrases

domain knowledge
information sources
information sharing
information extraction
user interaction
prior information
information flow
real time
neural network
metadata
case study
multiscale
prior knowledge
mobile robot
information seeking