Circularity and Lambda Abstraction: From Bird to Pettorossi and back.

Olivier Danvy Peter Thiemann Ian Zerny

Published in: IFL (2013)

Keyphrases

high level
bird species
fixed point
decision theoretic planning
database
data sets
real world
data mining
image processing
image sequences
medical images