From Call-by-Value to Interaction by Typed Closure Conversion.

Published in: APLAS (2015)

Keyphrases

higher order
real world
database systems
human computer interaction
human machine interaction
data mining
high level
search algorithm
multiresolution
virtual environment
human interaction
interaction design
lambda calculus