Leonidas Lampropoulos

POST, pp.76-98, (2019)

Proceedings of the ACM on Programming Languages, no. POPL (2018): 1-30

Proceedings of the ACM on Programming Languages, no. ICFP (2018): 1-30

PACMPL, no. POPL (2018): 45:1-45:30

PACMPL, no. ICFP (2018): 102:1-102:30

Special Interest Group on Programming Languages, no. 10 (2017): 63-74

POPL, (2017)

Haskell, pp.26-37, (2017)

Haskell, pp.63-74, (2017)

Special Interest Group on Programming Languages, no. 1 (2017): 114-129

ICFP '17: ACM SIGPLAN International Conference on Functional Programming Oxford UK ..., pp.26-37, (2017)

ACM SIGPLAN NOTICES, no. 10 (2017): 26-37

ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 29 (NIPS 2016), (2016): 2613-2621

J. Funct. Program., (2016)

ITP, pp.325-343, (2015)

Special Interest Group on Programming Languages, no. 9 (2013): 455-468

WWV, (2012): 3-16