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 uniﬁcation 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)