Seminar PLF info.uvt.ro
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