most citedModular Type-Safety Proofs using Dependant Types

2 citations · 2 across the 1 of their papers we have counts for

collaborators

1 paper

cs.PL2012★ 2 cited

Modular Type-Safety Proofs using Dependant Types

Christopher Schwaab, Jeremy G. Siek

While methods of code abstraction and reuse are widespread and well researched, methods of proof abstraction and reuse are still emerging. We consider the use of dependent types fo…