Collaborated with:
Jamie Perconti A.Ahmed
Talks about:
composit (1) correct (1) convers (1) control (1) mutabl (1) closur (1) under (1) state (1)
Person: Phillip Mates
DBLP: Mates:Phillip
Contributed to:
Wrote 1 papers:
- PPDP-2019-MatesPA
- Under Control: Compositionally Correct Closure Conversion with Mutable State (PM, JP, AA), p. 15.