Manish Parashar
-
Foundational certified code in the Twelf metalogical framework
ACM Transactions on Computational Logic (TOCL)