Generic programming with fixed points for mutually recursive datatypes.

Alexey Rodriguez Yakushev Stefan Holdermans Andres Löh Johan Jeuring

Published in: ICFP (2009)

Keyphrases

fixed point
data types
approximate value iteration
data model
data structure
programming language
database systems
dynamical systems
database management systems
sufficient conditions
belief propagation
temporal difference learning
asymptotic properties
linear logic
database
least squares
preprocessing
data mining