General Resources for Computational Semantics

• Computational Semantics with Functional Programming. Jan van Eijck and Christina Unger (2010)
• Speech and Language Processing. Dan Jurafsky and James H. Martin (2022)

Haskell Resources

• Learn You A Haskell for Great Good! Miran Lipovača (2011)
• Github Haskell Resource Page
• Learning Haskell

Functional Programming Resources

• Lambda Notebook
  Kyle Rawlins:
  This project is an IPython framework for linguists and especially semanticists developing analyses in compositional semantics. It aims to provide a means of developing ‘digital fragments’, following from the method of fragments in Montague grammar.
• Lambda Evaluator
  Jim Pryor:
  Online program that allows you to write lambda terms and evaluate (that is, normalize) them, and inspect the results.