Aleksander Boruch-Gruszecki
According to our database1,
Aleksander Boruch-Gruszecki
authored at least 7 papers
between 2019 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2022
Effects, capabilities, and boxes: from scope-based reasoning to type-based reasoning and back.
Proc. ACM Program. Lang., 2022
A case for DOT: theoretical foundations for objects with pattern matching and GADT-style reasoning.
Proc. ACM Program. Lang., 2022
2021
Proceedings of the SCALA 2021: Proceedings of the 12th ACM SIGPLAN International Symposium on Scala, 2021
Proceedings of the SCALA 2021: Proceedings of the 12th ACM SIGPLAN International Symposium on Scala, 2021
2019
Proceedings of the Tenth ACM SIGPLAN Symposium on Scala, 2019