Login / Signup
Programming in Manticore, a Heterogenous Parallel Functional Language.
Matthew Fluet
Lars Bergstrom
Nic Ford
Mike Rainey
John H. Reppy
Adam Shaw
Yingqi Xiao
Published in:
CEFP (2009)
Keyphrases
</>
functional language
functional programming
programming language
proof planning
object oriented programming
execution model
object identity
databases
data sources
database
machine learning
object oriented
inference rules
theorem proving