General Resources for Computational Semantics

Haskell Resources

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.