Computational semantics with functional programming /

other_versions_link
Bibliografiske detaljer
Hovedforfatter: Eijck, J. van
Andre forfattere: Unger, Christina
Format: Printed Book
Sprog:English
Udgivet: Cambridge ; New York : Cambridge University Press, 2010.
Fag:
Programming languages (Electronic computers) > Semantics.
Functional programming (Computer science)
Haskell (Computer program language)
Indholdsfortegnelse:
  • Formal study of natural language
  • Lambda calculus, types, and functional programming
  • Functional programming with Haskell
  • Formal syntax for fragments
  • Formal semantics for fragments
  • Model checking with predicate logic
  • The composition of meaning in natural language
  • Extension and intension
  • Parsing
  • Handling relations and scoping
  • Continuation passing style semantics
  • Discourse representation and context
  • Communication as informative action.

Lignende værker