Skip to content

Files

Latest commit

Oct 15, 2020
03090a5 · Oct 15, 2020

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.