TY  - CONF

T1  - Dependently Typed Programming Based on Automated Theorem Proving

JO  - Mathematics of Program Construction

PY  - 2012/01/01

AU  - Armstrong A

AU  - Foster S

AU  - Struth G

ED  - Gibbons J

ED  - Nogueira P

DO  - DOI: 10.1007/978-3-642-31113-0_12

PB  - Springer Verlag

SN  - 978-3-642-31112-3

VL  - Lecture Notes in Computer Science 7342

SP  - 220

EP  - 240

Y2  - 2024/12/25

ER  -