A systematic approach to deriving incremental type checkers A Pacak, S Erdweg, T Szabó Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-28, 2020 | 19 | 2020 |
Functional programming with Datalog A Pacak, S Erdweg 36th European Conference on Object-Oriented Programming (ECOOP 2022), 2022 | 11 | 2022 |
Concise, type-safe, and efficient structural diffing S Erdweg, T Szabó, A Pacak Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021 | 8 | 2021 |
Generating incremental type services A Pacak, S Erdweg Proceedings of the 12th ACM SIGPLAN International Conference on Software …, 2019 | 2 | 2019 |
Incremental Processing of Structured Data in Datalog A Pacak, T Szabó, S Erdweg Proceedings of the 21st ACM SIGPLAN International Conference on Generative …, 2022 | 1 | 2022 |
System Description: An Infrastructure for Combining Domain Knowledge with Automated Theorem Provers S Grewe, S Erdweg, A Pacak, M Mezini Proceedings of the 20th International Symposium on Principles and Practice …, 2018 | 1 | 2018 |
Using Vampire with Support for Algebraic Datatypes in Type Soundness Proofs S Grewe, A Pacak, M Mezini Vampire, 2017 | 1 | 2017 |
Interactive Debugging of Datalog Programs A Pacak, S Erdweg Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 745-772, 2023 | | 2023 |