Lobsters
- Type Theory and Functional Programming (1999) https://www.cs.kent.ac.uk/people/staff/sjt/TTFP/ttfp.pdf 2 comments book , formalmethods , pdf , programming
- Are there careers in Functional Programming or Type theory? https://www.reddit.com/r/cscareerquestions/comments/afzrm9/are_there_careers_in_functional_programming_or/ 24 comments cscareerquestions
- Type Theory and Functional Programming (1991) http://www.cs.kent.ac.uk/people/staff/sjt/ttfp/ 2 comments compsci
- Question about "Type Theory & Functional Programming" https://www.cs.kent.ac.uk/people/staff/sjt/TTFP/ttfp.pdf 17 comments haskell