FunTAL: reasonably mixing a functional language with assembly.

Daniel Patterson Jamie Perconti Christos Dimoulas Amal Ahmed

Published in: PLDI (2017)

Keyphrases

functional language
functional programming
programming language
proof planning
object identity
high level
data structure
rough sets
complex objects