HOPE 2022
ACM SIGPLAN Workshop on Higher-Order Programming with Effects
|
POPL 2023
50th Symposium on Principles of Programming Languages
|
IJPLA 2022
International Journal of Programming Languages and Applications
|
SEFM 2022
20th International Conference on Software Engineering and Formal Methods
|
MPLR 2022
19th International Conference on Managed Programming Languages & Runtimes
|
LOPSTR 2022
32nd International Symposium on Logic-Based Program Synthesis and Transformation
|
EXPRESS/SOS 2022
Combined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational Semantics
|
CSTY 2022
8th International Conference on Computer Science and Information Technology
|
SBLP 2022
XXVI Brazilian Symposium on Programming Languages
|
MEMOCODE 2022
20th ACM/IEEE International Symposium on Formal Methods and Models for System Design
|