Introduction

We have found some books in the area of computational semantics and logics that we would like to read. We are setting up an ad-hoc reading group to discuss this material.

Update: the reading group is currently ‘frozen’.

Literature

Being the overzealous types that we are, we have no less than three books that we are interested in:

• Computational Semantics with Functional Programming, Jan van Eijck and Christina Unger
• Real World Haskell, Bryan O’Sullivan, Don Stewart, and John Goerzen
• The Haskell Road to Logic, Maths and Programming, Kees Doets and Jan van Eijk
• Warren’s Abstract Machine: A Tutorial Reconstruction, Hassan Aït-Kaci (chapters 2, 3, 4)

We will kick off with Computational Semantics with Functional Programming.

Requirements

This reading group is open to CLCG members, and (research) master students alike. Some of the literature will require good knowledge of maths and familiarity with programming languages. We also ask that you read the material beforehand, so that we can have an in-depth discussion about the content.

Past meetings

• Thursday, March 18, 15:00-17:00, H12.0013, Computational Semantics with Functional Programming, chapter 4
• Friday, March 12, 16:00-17:00, H13.0338, Computational Semantics with Functional Programming, chapter 3
• Friday, March 5, 14:00-16:00, H13.338, Computational Semantics with Functional Programming, chapters 1 and 2.

Contact: me%danieldk.eu