VeTSS EDI statement.
VeTSS 2023
CycleQ: an efficient basis for cyclic equational reasoning.
Eddie Jones, C.-H. Luke Ong, and Steven Ramsay. PLDI 2022: Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language, Pages 395–409. 2022
Kent Concurrency Workshop and S-REPLS 15, University of Kent,18‐19 July, 2024
We are very happy to be on of the sponsors of this year's Kent Concurrency Workshop and S-REPLS 15, taking place at the University of [...]
by