Sample Programs

Sample Programs

As the course progresses links will be provided to take you to sample programs from the text and from class.

• Haskell Programs from the text:
  • Functional Programming with Haskell (Chapter 3)
  • Formal Syntax for Fragments:
  • Formal Semantics for Fragments:
  • Natural Language Inference Engine:
  • Main module for (compiled version of) Natural Language Inference Engine:
  • Example knowledge base, in NL text:
  • Model Checking with Predicate Logic:
  • An example model:
  • The Composition of Meaning:
  • Extensions and Intensions
  • Another example model:
  • Parsing:
  • Handling Relations and Scoping:
  • Continuation-Passing Style Semantics:
  • Discourse Representation and Context:
  • Communication as Informative Action:
• Haskell programs from class.
  • HW5FSynF.hs
  • HW5Model.hs
  • HW5MCWPL.hs
  • P2.hs is a variant of P.hs that builds parse trees using categories as interior node labels rather than strings.
  • TreeToSyntax.hs is a file whose main program reads in a sentence (from line input) and prints out the corresponding element of type Sent and then evaluates it in the model in Model.hs.
  • IO.hs Sample code for doing simple I/O in Haskell

Sample Programs