Polyvariant flow analysis with higher-ranked polymorphic types and higher-order effect operators.

Stefan Holdermans Jurriaan Hage

Published in: ICFP (2010)

Keyphrases

flow analysis
higher order
information flow
high order
pairwise
markov random field
neural network
data processing
multiple types
databases
multiscale
distributed systems
natural images
lambda calculus
descending order