Publications

Filtered as: all types - all years - all authors - keyword: Embedded DSLs
Sorted by: keyword - year
Corresponding bibtex list 

Embedded DSLs 

2019 

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