TY  - JOUR

T1  - Dependently Typed Programming based on Automated Theorem Proving

JO  - CoRR

PY  - 2011/01/01

AU  - Armstrong A

AU  - Foster S

AU  - Struth G

ED  - 

VL  - abs/1112.3833

Y2  - 2025/01/03

ER  -