Collaborated with:P.G.Giarrusso Y.Régis-Gianas J.I.Brachthäuser K.Ostermann
Talks about:transform (1) increment (1) transfer (1) calculus (1) program (1) handler (1) static (1) memoiz (1) effect (1) style (1)
Person: Philipp Schuster
DBLP: Schuster:Philipp
Contributed to:
2019
2018Wrote 2 papers:
- ESOP-2019-GiarrussoRS #incremental #program transformation #λ-calculus
- Incremental λ-Calculus in Cache-Transfer Style - Static Memoization by Program Transformation (PGG, YRG, PS), pp. 553–580.
- OOPSLA-2018-BrachthauserSO
- Effect handlers for the masses (JIB, PS, KO), p. 27.