Login / Signup
Nested Datatypes with Generalized Mendler Iteration: Map Fusion and the Example of the Representation of Untyped Lambda Calculus with Explicit Flattening.
Ralph Matthes
Published in:
MPC (2008)
Keyphrases
</>
lambda calculus
data types
predicate calculus
database systems
programming language
data structure
data mining
knowledge base
general purpose
expressive power