Michael Hendricks

Publication Activity (10 Years)

Years Active: 2013-2013
Publications (10 Years): 0

Top Topics

Logic Programming Language

Theorem Proving

Top Venues

Publications

Jan Wielemaker, Michael Hendricks
Why It's Nice to be Quoted: Quasiquoting for Prolog. CoRR (2013)