Sort
By YearBy Citation
Proceedings of the ACM on Programming Languages, no. OOPSLA (2020): 1-30
EI
Logical Methods in Computer Science, (2019)
Proceedings of the ACM on Programming Languages, no. POPL (2019): 5-29
EI
Formal Methods in System Design, no. 2 (2019): 191-231
EI
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, pp.1069-1084, (2019)
EI
PACMPL, no. POPL (2018)
EI
SAT, (2018): 438-449
EI
Proceedings of the ACM on Programming Languages, no. OOPSLA (2018): 1-26
EI
programming language design and implementation, (2018)
national conference on artificial intelligence, (2018)
EI
VMCAI, pp.209-227, (2017)
EI
View All