FunTAL: Reasonably Mixing a Functional Language with Assembly.

Daniel Patterson Jamie Perconti Christos Dimoulas Amal Ahmed

Published in: CoRR (2017)

Keyphrases

functional language
functional programming
programming language
proof planning
object identity
databases
data model
general purpose
simulated annealing
complex objects
object oriented databases