Journals, Conferences and News Groups

• Hypertext Bibliography Project (IC, LICS, JACM, ...)
• TOCL
• Journal of Functional Programming
• LICS
• MFPS
• TLCA
• LNCS
• CADE
• ICFP
• Types Forum
• AAR
• HOOTS
• SIGCSE