Hacker News
- The Derivative of a Regular Type is its Type of One-Hole Contexts (2001) [pdf] http://strictlypositive.org/diff.pdf 39 comments
Linking pages
- What Are Sum, Product, and Pi Types? - In Pursuit of Laziness https://manishearth.github.io/blog/2017/03/04/what-are-sum-product-and-pi-types/ 244 comments
- GitHub - cohomolo-gy/haskell-resources: A List of Foundational Haskell Papers https://github.com/cohomolo-gy/haskell-resources 19 comments
- Algebraic type sizes and domain modelling | F# for fun and profit http://fsharpforfunandprofit.com/posts/type-size-and-design/ 1 comment
Related searches:
Search whole site: site:strictlypositive.org
Search title: The Derivative of a Regular Type is its Type of One-Hole Contexts (2001) [pdf]
See how to search.