TY  - RPRT
TI  - A Meta-Programming Approach to Realizing Dependently Typed Logic Programming
AU  - Zachary Snow
AU  - David Baelde
AU  - Gopalan Nadathur
PY  - 2010
UR  - https://arxiv.org/abs/1005.4379
ID  - 1005.4379
ER  -