Changes between Version 34 and Version 35 of DependentHaskell


Ignore:
Timestamp:
Dec 10, 2017 7:33:01 PM (4 months ago)
Author:
luqui
Comment:

Fix broken link

Legend:

Unmodified
Added
Removed
Modified
  • DependentHaskell

    v34 v35  
    227227There are several published works very relevant to the design:
    228228
    229 * [http://www.cis.upenn.edu/~eir/papers/2013/fckinds/fckinds.pdf System FC with Explicit Kind Equality]. [=#nokinds Stephanie Weirich, Justin Hsu, and Richard A. Eisenberg.] ICFP 2013.
     229* [https://www.cis.upenn.edu/~justhsu/docs/nokinds.pdf System FC with Explicit Kind Equality]. [=#nokinds Stephanie Weirich, Justin Hsu, and Richard A. Eisenberg.] ICFP 2013.
    230230* [http://adam.gundry.co.uk/pub/thesis/thesis-2013-12-03.pdf Type Inference, Haskell, and Dependent Types]. [=#gundry Adam Gundry.] PhD Thesis, 2013.
    231231* Eisenberg's thesis: https://github.com/goldfirere/thesis