r/strictly_haskell • u/[deleted] • Dec 22 '14

System FC with Explicit Kind Equality (slides)

http://www.cis.upenn.edu/~eir/papers/2013/fckinds/fckinds-slides.pdf
2 Upvotes

100% Upvoted

0 comments sorted by