FunTAL: reasonably mixing a functional language with assembly

Daniel Patterson, Jamie Perconti, Christos Dimoulas, Amal Ahmed. FunTAL: reasonably mixing a functional language with assembly. In Albert Cohen 0001, Martin T. Vechev, editors, Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2017, Barcelona, Spain, June 18-23, 2017. pages 495-509, ACM, 2017. [doi]

Authors

Daniel Patterson

This author has not been identified. Look up 'Daniel Patterson' in Google

Jamie Perconti

This author has not been identified. Look up 'Jamie Perconti' in Google

Christos Dimoulas

This author has not been identified. Look up 'Christos Dimoulas' in Google

Amal Ahmed

This author has not been identified. Look up 'Amal Ahmed' in Google