@article{article, title = {{Dependently Typed Programming based on Automated Theorem Proving}}, url = {{}}, year = {{2011}}, month = {{1}}, author = {{Armstrong A and Foster S and Struth G}}, volume = {{abs/1112.3833}}, journal = {{CoRR}}, note = {{Accessed on 2025/05/21}}}