Seminar PLF

From Wikiversity
Jump to navigation Jump to search

Suggested topics[edit]

Logic programming[edit]

  • Logic 101 (pretty please, Adi :)

Functional programming[edit]

  • Lambda calculus basics
  • Evaluation strategies
  • Lazy evaluation
  • Combinators
  • Common Lisp macros
  • Hygienic macros
  • Metaprogramming and program transformation
  • Closures
  • Continuations and continuation-passing style (CPS)
  • Implementation of interpreters and compilers for functional languages
  • Monads (the other person studying monads is feeling very lonely)
  • Comparative discussion of languages (perennial backup topic and flame generator :-)

Suggested bibliography: SICP, EOPL, The Lambda Papers, On Lisp, ANSI Common Lisp, Practical Common Lisp

Theorem proving[edit]

  • Basic concepts
  • Theorema
  • ACL2


  • New languages, implementations, publications, developments of interest