https://www.seas.upenn.edu/~sweirich/papers/coercible-JFP.pdf - discu.eu

Linking pages

Episode 14 - Richard Eisenberg on Dependent Types in Haskell - The Haskell Cast http://www.haskellcast.com/episode/014-richard-eisenberg-on-dependent-types-in-haskell 11 comments

Related searches:

Search whole site: site:www.seas.upenn.edu

See how to search.

Submit link to: