A Dependently Typed Programming Language, with applications to Foundational Certified Code Systems (2009)

by Susmit Sarkar , Robert Harper , Peter Lee
Citations:3 - 0 self