Some links of academical and personal interest
Journals
- ACM Transactions on Computational Logic (TOCL)
- Annals of Pure and Applied Logic
- Journal of Functional Programming
- Journal of Logic and Computation
- Journal of Symbolic Logic
- Logic Journal of the IGPL
- Logical Methods in Computer Science
- Mathematical Structures in Computer Science
- Theoretical Computer Science
- Theoretical Informatics and Applications
Logic
- International Center for Computational Logic
- Mathematical Logic around the world
- Mathematical Logic Group, LMU Muenchen
- Proof Theory
Programming Languages
- Great Works in Programming Languages
- Haskell
- History of Programming Languages
- Programming Language Research
- SWI-Prolog
- Weblog Lambda the Ultimate