Travelled to:
1 × Canada
1 × Sweden
1 × USA
Collaborated with:
M.Fluet R.Yates L.Bergstrom J.H.Reppy N.Sandler
Talks about:
transact (2) parallel (1) function (1) softwar (1) revisit (1) practic (1) partial (1) languag (1) continu (1) specul (1)
Person: Matthew Le
DBLP: Le:Matthew
Contributed to:
Wrote 4 papers:
- ICFP-2015-LeF #continuation #transaction
- Partial aborts for transactions via first-class continuations (ML, MF), pp. 230–242.
- ICFP-2014-BergstromFLRS #effectiveness #higher-order #optimisation
- Practical and effective higher-order optimizations (LB, MF, ML, JHR, NS), pp. 81–93.
- IFL-2014-LeF #functional #parallel
- Combining Shared State with Speculative Parallelism in a Functional Language (ML, MF), p. 2.
- Haskell-2016-LeYF #haskell #memory management #transaction
- Revisiting software transactional memory in Haskell (ML, RY, MF), pp. 105–113.