Frumin, D., D'Osualdo, E.,
van den Heuvel, B. & Pérez, J. A., okt.-2022, In:
Proceedings of the ACM on Programming
Languages.6, OOPSLA2, blz.
841-86929 blz., 155.
Ahrens, B., Frumin, D.,
Maggesi, M., Veltri, N. & Van
Der Weide, N., 9-mrt.-2022, In: Mathematical structures in computer
science.31, SI: 10, blz.
1232–126938 blz.
Vindum, S. F., Frumin, D.
& Birkedal, L., 17-jan.-2022, CPP 2022 - Proceedings of the
11th ACM SIGPLAN International Conference on Certified Programs and
Proofs, co-located with POPL 2022. Popescu, A. &
Zdancewic, S. (redactie). Association for Computing
Machinery, Inc, blz. 100-11516 blz. (CPP 2022 - Proceedings
of the 11th ACM SIGPLAN International Conference on Certified
Programs and Proofs, co-located with POPL 2022).
Frumin, D., 17-jan.-2022, CPP 2022 - Proceedings of the
11th ACM SIGPLAN International Conference on Certified Programs and
Proofs, co-located with POPL 2022. Popescu, A. &
Zdancewic, S. (redactie). Association for Computing
Machinery, Inc, blz. 291-30616 blz. (CPP 2022 - Proceedings
of the 11th ACM SIGPLAN International Conference on Certified
Programs and Proofs, co-located with POPL 2022).
Frumin, D., Krebbers, R.
& Birkedal, L., mei-2021, Proceedings - 2021 IEEE Symposium
on Security and Privacy, SP 2021.Institute of
Electrical and Electronics Engineers Inc., blz. 1416-143318
blz. (Proceedings - IEEE Symposium on Security and Privacy;
vol. 2021-May).
Ahrens, B., Frumin, D.,
Maggesi, M. & van der Weide, N.,
1-jun.-2019, 4th International
Conference on Formal Structures for Computation and Deduction, FSCD
2019. Geuvers, H. & Geuvers, H. (redactie). Schloss
Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl
Publishing, 17 blz. 5.
(Leibniz International Proceedings in Informatics, LIPIcs; vol.
131).
Frumin, D., Gondelman, L.
& Krebbers, R., 2019,
Programming Languages and Systems - 28th European Symposium on
Programming, ESOP 2019, Held as Part of the European Joint
Conferences on Theory and Practice of Software, ETAPS 2019,
Proceedings. Caires, L. (redactie). Springer
Verlag, blz. 60-8728 blz. (Lecture Notes in Computer
Science (including subseries Lecture Notes in Artificial
Intelligence and Lecture Notes in Bioinformatics); vol. 11423
LNCS).
