@inproceedings{inproceedings, title = {{Dependently Typed Programming Based on Automated Theorem Proving}}, publisher = {{Springer Verlag}}, url = {{}}, year = {{2012}}, month = {{1}}, author = {{Armstrong A and Foster S and Struth G}}, doi = {{10.1007/978-3-642-31113-0_12}}, isbn = {{978-3-642-31112-3}}, volume = {{Lecture Notes in Computer Science 7342}}, journal = {{Mathematics of Program Construction}}, pages = {{220-240}}, note = {{Accessed on 2025/07/30}}}