Computability and the Study of Formal Languages 2008 - 2009

Faculty and Contact Info

• Sherri Shulman (sherri@evergreen.edu)
• Sherri's home page

Program Information

• Descriptions and overview
• Credit breakdown
• schedule
• Booklist
• announcements

Program Threads

• Curry/Haskell/Functional and Logic programming :
  • General info on Curry and resources
  • Fall Curry Syllabus
  • Winter Curry syllabus
  • (Spring) Advanced Programming Topics
  • Curry Assignments
• Programming Language Design:
  • General info on Programming Language Design
  • Fall Programming Language Design Syllabus
  • Winter Programming Language Design Syllabus
  • Spring Program Design Syllabus
  • Programming Language Design Assignments
• Logic:
  • General info on Logic
  • Fall Logic Syllabus
  • Winter Logic Syllabus
  • Spring Logic Syllabus
  • Logic Assignments
• Formal Languages:
  • General info Formal Lang
  • Winter Formal Languages Syllabus
  • Spring Formal Languages Syllabus
  • Formal Languages assignments
• Seminar
• Project