Seminar PLF info.uvt.ro

From Wikiversity

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

News[edit]

  • New languages, implementations, publications, developments of interest
Retrieved from "https://beta.wikiversity.org/w/index.php?title=Seminar_PLF_info.uvt.ro&oldid=44944"