Lobsters
- Kindness for Mean Girls http://aymannadeem.github.io/haskell/2020/05/15/Kindness-for-Mean-Girls.html 3 comments haskell , plt
Linked pages
- http://lambdaconf.us/downloads/documents/lambdaconf_slfp.pdf 147 comments
- Currying - HaskellWiki https://wiki.haskell.org/Currying 128 comments
- Haskell's kind system - a primer · dcastro https://diogocastro.com/blog/2018/10/17/haskells-kind-system-a-primer/ 92 comments
- Curry–Howard correspondence - Wikipedia https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence 63 comments
- Lambda cube - Wikipedia https://en.wikipedia.org/wiki/Lambda_cube 59 comments
- Basic Type Level Programming in Haskell http://www.parsonsmatt.org/2017/04/26/basic_type_level_programming_in_haskell.html 47 comments
- Dependent type - Wikipedia https://en.wikipedia.org/wiki/Dependent_type 15 comments
- Parsing type-level strings in Haskell – ( ) https://kcsongor.github.io/symbol-parsing-haskell/ 15 comments
- The pony barn - An introduction to DataKinds and GHC.TypeLits http://ponies.io/posts/2014-07-30-typelits.html 14 comments
- 9.1. Language options — Glasgow Haskell Compiler &ampampampampampampampampampampampampampampampampampampampampLTrelease> Users Guide https://downloads.haskell.org/~ghc/8.0.1/docs/html/users_guide/glasgow_exts.html#instance-termination-rules 9 comments
- Home â The Glasgow Haskell Compiler https://www.haskell.org/ghc/ 7 comments
- A Neighborhood of Infinity: You Could Have Invented Monads! (And Maybe You Already Have.) http://blog.sigfpe.com/2006/08/you-could-have-invented-monads-and.html 6 comments
- http://dreixel.net/research/pdf/ghp.pdf 0 comments
- Haskell generics explained https://markkarpov.com/tutorial/generics.html 0 comments
- https://www.microsoft.com/en-us/research/wp-content/uploads/1997/01/henk.pdf 0 comments
- Peano axioms - Wikipedia https://en.wikipedia.org/wiki/Peano_axioms 0 comments
Related searches:
Search whole site: site:aymannadeem.github.io
Search title: Kindness for Mean Girls: a discussion on type-level programming in Haskell | Ayman Nadeem
See how to search.