: A typed functional active object calculus.

Ludovic Henrio Florian Kammüller Bianca Lutz

Published in: Sci. Comput. Program. (2012)

Keyphrases

lambda calculus
higher order
real time
data sets
real world
data mining
image segmentation
natural deduction
functional analysis
fixed order