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 CycleQ: an efficient basis for cyclic equational reasoning.shelley2024-07-26T09:03:54+00:00
by