Coq mechanization of the following paper:
Yizhou Zhang, Guido Salvaneschi, Andrew C. Myers.
Handling Bidirectional Control Flow.
Proceedings of the ACM on Programming Languages, 4(OOPSLA), November 2020.
Tested with Coq version 8.9.1.
Coq mechanization of the following paper:
Yizhou Zhang, Guido Salvaneschi, Andrew C. Myers.
Handling Bidirectional Control Flow.
Proceedings of the ACM on Programming Languages, 4(OOPSLA), November 2020.
Tested with Coq version 8.9.1.