Jan Zwanenburg's bookmarks on computer science

• Theorem provers:
  Pages on theorem provers, moving from very general to very specific:

  • Mechanized Reasoning
  • Logical Frameworks
  • Isabelle
  • Coq
  • Lego
  • Alfa
  • Twelf
  • Typelab
  • Jape
  • Yarrow

• Type theory:
  

  • The Types Forum

• Functional programming:
  

  • The language Haskell
  • International Conference on Functional Programming

• Java

  • The Java Home Page
  • The Java Tutorial
  • The Pizza Home Page

• People that work or did work on related areas of computer science:

  • Henk Barendregt
  • Kim B. Bruce
  • Luca Cardelli
  • Adriana Compagnoni
  • John C. Mitchell
  • Benjamin Pierce
  • Erik Poll
  • Philip Wadler

• People in Eindhoven working on type-theory:

  • Tijn Borghuis
  • Michael Franssen
  • Herman Geuvers
  • Martijn Oostdijk
  • Kees Hemerik
  • Rob Nederpelt

• A program of logic-related conferences. Below some more specific conferences that interest me.

  • FOOL: A workshop on the Foundations of Object Oriented Languages. I have presented a talk at FOOL III.
  • Logic In Computer Science

• Journals and Publishers:

  • Journal of Functional Programming
  • The Hypertext Bibliography Project
  • Springer
  • Information and Computation

• Dutch research schools ("onderzoekscholen")

  • Instituut voor Programmatuurkunde en Algoritmiek
  • Logic in the Netherlands