Skip to content

Latest commit

 

History

History
7 lines (5 loc) · 308 Bytes

README.md

File metadata and controls

7 lines (5 loc) · 308 Bytes

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.