11 citations · 16 across the 3 of their papers we have counts for
Showing 2017 · cs.PLShow all
2 papers · 2 filters
cs.PL2017★ 11 cited
Linking Types for Multi-Language Software: Have Your Cake and Eat It Too
Daniel Patterson, Amal Ahmed
Software developers compose systems from components written in many different languages. A business-logic component may be written in Java or OCaml, a resource-intensive component…
cs.PL2017★ 4 cited
FunTAL: Reasonably Mixing a Functional Language with Assembly
Daniel Patterson, Jamie Perconti, Christos Dimoulas +1
We present FunTAL, the first multi-language system to formalize safe interoperability between a high-level functional language and low-level assembly code while supporting composit…