Seminar PLF info.uvt.ro

Suggested topics

Logic programming

• Logic 101 (pretty please, Adi :)

Functional programming

• 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

• Basic concepts
• Theorema
• ACL2

News

• New languages, implementations, publications, developments of interest