Linking pages
- GitHub - cdiggins/cat-language: Cat - a statically typed functional stack-based programming language http://www.cat-language.com/index.html 21 comments
- GitHub - cdiggins/cat-language: Cat - a statically typed functional stack-based programming language https://github.com/cdiggins/cat-language 0 comments
Linked pages
- Lambda calculus - Wikipedia https://en.wikipedia.org/wiki/Lambda_calculus#Motivation 103 comments
- codeblog/2012-02-17-concatenative-haskell.md at master · leonidas/codeblog · GitHub https://github.com/leonidas/codeblog/blob/master/2012/2012-02-17-concatenative-haskell.md 75 comments
- Typed lambda calculus - Wikipedia https://en.wikipedia.org/wiki/Typed_lambda_calculus 12 comments
- Combinator Birds http://www.angelfire.com/tx4/cus/combinator/birds.html 9 comments
- Hindley–Milner type system - Wikipedia https://en.wikipedia.org/wiki/Hindley%E2%80%93Milner_type_system 6 comments
- Covariance and contravariance (computer science) - Wikipedia https://en.wikipedia.org/wiki/Covariance_and_contravariance_(computer_science) 0 comments
- Lecture 26: Type Inference and Unification https://www.cs.cornell.edu/courses/cs3110/2011sp/lectures/lec26-type-inference/type-inference.htm 0 comments
Related searches:
Search whole site: site:github.com
Search title: GitHub - cdiggins/type-inference: Type Inference Library written in TypeScript
See how to search.