Functional Programs: Conversions between Deep and Shallow Embeddings.

Magnus O. Myreen

Published in: ITP (2012)

Keyphrases

functional programs
term rewriting systems
lazy evaluation
functional language
logic programs
stochastic grammar
natural language processing
dimensionality reduction
functional programming
low dimensional
data management
databases
logic programming
information extraction
high level
machine learning
data mining