Publications

Filtered as: all types - all years - author: Sozeau, Matthieu - all keywords
Corresponding
bibtex list 


  1. Vadim Zaliva and Matthieu Sozeau
    Reification of Shallow-Embedded DSLs in Coq with Automated Verification
    Proc. International Workshop on Coq for Programming Languages (CoqPL), 2019
Publication interface designed and implemented by Patra Pantupat, Aliaksei Sandryhaila, and Markus Püschel
Electrical and Computer Engineering, Carnegie Mellon University, 2007