6 citations · 20 across the 17 of their papers we have counts for
1 paper · 2 filters
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…