A meta-programming approach to realizing dependently typed logic programming.

Zachary Snow, David Baelde, Gopalan Nadathur

Browse the full PPDP paper archive.