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