@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/01/03}}}