Philipp Haller
References
35
[4] Miller, Haller, and Odersky. Spores: a type-based foundation for closures in the age of concurrency
and distribution. ECOOP 2014
[5] Epstein, Black, Peyton Jones. Towards Haskell in the cloud. Haskell Symposium 2011
[1] Odersky, Blanvillain, Liu, Biboudis, Miller, Stucki. Simplicitly: foundations and applications of implicit
function types. Proc. ACM Program. Lang. 2(POPL): 42:1-42:29 (2018)
[3] Stucki, Brachthäuser, Odersky. Virtual ADTs for portable metaprogramming. MPLR 2021
[2] Stucki, Biboudis, Odersky. A practical unification of multi-stage programming and macros. GPCE 2018
[6] Boruch-Gruszecki, Brachthäuser, Lee, Lhoták, Odersky. Tracking Captured Variables in Types. CoRR
abs/2105.11896 (2021)