Hacker News
- Good, concise guides to the Lambda Cube. http://en.wikipedia.org/wiki/Lambda_cube 6 comments compsci
Linking pages
- Kindness for Mean Girls: a discussion on type-level programming in Haskell | Ayman Nadeem https://www.aymannadeem.com/haskell/2020/05/15/Kindness-for-Mean-Girls.html 62 comments
- Rust 2020: towards a 1.0 crate ecosystem https://tonyarcieri.com/rust-2020-towards-a-1-0-crate-ecosystem 45 comments
- How to implement dependent types in 80 lines of code · GitHub https://gist.github.com/Hirrolot/27e6b02a051df333811a23b97c375196 33 comments
- Kindness for Mean Girls: a discussion on type-level programming in Haskell | Ayman Nadeem http://aymannadeem.github.io/haskell/2020/05/15/Kindness-for-Mean-Girls.html 3 comments
- Barebones lambda cube in OCaml · GitHub https://gist.github.com/Hirrolot/89c60f821270059a09c14b940b454fd6 2 comments
- The Rise of Type Theory http://pling.jondgoodwin.com/post/rise-of-type-theory/ 0 comments
- Writing a lambda calculus type-checker in Haskell – bor0's blog https://bor0.wordpress.com/2019/03/21/writing-a-lambda-calculus-type-checker-in-haskell/ 0 comments
- What is a type system, really? | Lambda Land https://lambdaland.org/posts/2023-01-17_what_is_a_type_system_really/ 0 comments
Would you like to stay up to date with Computer science? Checkout Computer science
Weekly.
Related searches:
Search whole site: site:wikipedia.org
Search title: Lambda cube - Wikipedia
See how to search.