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 - 2025/06/02 ER -