Software

Software

Functional Programming with Haskell: FPH.hs

Formal Syntax for Fragments: FSynF.hs

Formal Semantics for Fragments: FSemF.hs

Natural Language Inference Engine: InfEngine.hs

Main module for (compiled version of) Natural Language Inference Engine: Main.hs

Example knowledge base, in NL text: kb.txt

Model Checking with Predicate Logic: MCWPL.hs

An example model: Model.hs

The Composition of Meaning: TCOM.hs

Extensions and Intensions EAI.hs

Another example model: Model2.hs

Parsing: P.hs

Handling Relations and Scoping: HRAS.hs

Continuation-Passing Style Semantics: CPSS.hs

Discourse Representation and Context: DRAC.hs

Communication as Informative Action: CAIA.hs

Solutions

All solutions (consult at your own risk): Sols.pdf

Solution module for Chapter 3: SolFPH.hs

Solution module for Chapter 4: SolFSynF.hs

Solution module for Chapter 5: SolFSemF.hs

Solution module for Chapter 6: SolMCWPL.hs

Solution module for Chapter 7: SolTCOM.hs

Solution module for Chapter 8: SolEAI.hs

Solution module for Chapter 9: SolP.hs

Solution module for Chapter 10: SolHRAS.hs

Solution module for Chapter 11: SolCPSS.hs

Solution module for Chapter 12: SolDRAC.hs

Solution module for Chapter 13: SolCAIA.hs

Courses using the book

LOT Summer School Course in Computational Semantics, Leiden, June 15--19, 2009. The course page is here.

Computational semantics, I and II, Bielefeld University. Info about the course is here.

ESSLLI Summer School Course, Ljubljana, Slovenia, August 2011. See the course description on the ESSLLI 2011 homepage.

Please let us know if you are using the book for a course.

Reviews

Be the first to write a review ...

Reader Feedback

Interview about the book.

Lambda the Ultimate, 12 feb 2010, commenting on a draft version of the book:

"The introductory chapters are probably going to be unnecessary for LtU readers, but once things get going there is a lot to learn here if you are interested in formal semantics of natural language, especially in the Montague-style. And if this doesn't ring a bell - just search for 'continutation' in the manuscript, and be prepared to meet old friends (you know who you are) in a new context."

Sofy Moradi, Teheran, Dec 18, 2010:

"Let me use this opportunity to give you my feedback on your wonderfully nice job: Computational Semantics with Functional Programming. I haven't read the whole book, but I used parts to get familiar with some complicated ideas (complicated for me, that is) that were expressed so simply and nice that I really enjoyed my reading. Great job!"

Tom Morgan, Australia, Nov 24, 2010:

"I think it is a splendid book and I will be happy to sing its praises on Amazon once I have worked through it."

Daniel de Kok & Harm Brouwer, Groningen, March 22, 2010:

"We are currently reading the draft of 'Computational Semantics with Functional Programming', which we really appreciate for its clarity and approach."