Fingerprint
Dive into the research topics of 'A meta-programming approach to realizing dependently typed logic programming'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
A meta-programming approach to realizing dependently typed logic programming
Zachary Snow, David Baelde, Gopalan Nadathur
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
14
Scopus
citations