Coq a la Carte: A Practical Approach to Modular Syntax With Binders

POPL 2020

Coq a la Carte: A Practical Approach to Modular Syntax With Binders

Sep 17, 2020
|
40 views
Details
Presenter: Kathrin Stark Presented at CPP'20, located at POPL 2020.

Comments
loading...