top
new
show
ask
jobs
about

Dependent types and program equivalence [pdf] (2010)

seas.upenn.edu

1 points by fanf2 8 hours ago