Functional Programming FP

• [Lambda], toy functional interpreter, source and examples. This is not intended to be a production FP system; it is written in Pascal and is as small and simple as possible (and is lacking a type-checker and a garbage collector).
• [PFL], parallel, communicating ~ CCS
• [LambdaLog], LFP = Logic + Functional Programming.
• Search the [bibliography] by keywords.
• Languages
  • [Lazy ML] (LML) examples, including some denotational semantics
  • [Haskell]-[98] and
  • [Gofer]
  • [SML, Standard ML], -[97]
  • [Compared]

See also [Logic Programming] and [Programming Languages].

General Material

• [CSC412 Functional Programming.]