Collaborated with:
A.Ahmed Phillip Mates Daniel Patterson 0001 C.Dimoulas
Talks about:
function (1) composit (1) languag (1) correct (1) convers (1) control (1) assembl (1) reason (1) mutabl (1) closur (1)
Person: Jamie Perconti
DBLP: Perconti:Jamie
Contributed to:
Wrote 2 papers:
- PLDI-2017-PattersonPDA #assembly #functional #named
- FunTAL: reasonably mixing a functional language with assembly (DP0, JP, CD, AA), pp. 495–509.
- PPDP-2019-MatesPA
- Under Control: Compositionally Correct Closure Conversion with Mutable State (PM, JP, AA), p. 15.