Searching for OpenAIRE data...
Publications
Author(s): Danel Ahman, Andrej Bauer
Published in: Programming Languages and Systems - 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, 12075, 2020, Page(s) 29-55, ISBN 978-3-030-44913-1
Publisher: Springer International Publishing
DOI: 10.1007/978-3-030-44914-8_2
Author(s): Danel Ahman, Matija Pretnar
Published in: Proceedings of the ACM on Programming Languages, 5/POPL, 2021, Page(s) 1-28, ISSN 2475-1421
Publisher: Association for Computing Machinery
DOI: 10.1145/3434305
Author(s): Nikhil Swamy, Aseem Rastogi, Aymeric Fromherz, Denis Merigoux, Danel Ahman, Guido Martínez
Published in: Proceedings of the ACM on Programming Languages, 4/ICFP, 2020, Page(s) 1-30, ISSN 2475-1421
Publisher: Association for Computing Machinery
DOI: 10.1145/3409003