CMPSCI 630 (691F) Programming Languages Spring 2009

Reading Assignments

• The various books and other sources are represented by the following abbreviations:
  • SBE: Odersky's "Scala by Example" (Jan 13, 2009 draft) PDF
  • SLS: Odersky's "Scala Language Specification" (Jan 13, 2009 draft) PDF
  • SLO: Odersky et al.'s "An Overview of the Scala Programming Language, Second Edition" PDF
  • SLT: Schinz and Haller's "A Scala Tutorial for Java Programmers" (Jan 13, 2009 draft) PDF
  • CCS: Cremet et al.'s "A Core Calculus for Scala Type Checking" PDF
  • NTO: Odersky et al.'s "A Nominal Theory of Objects with Dependent Types" PDF
  • Hpr: Harper's "Practical Foundations for Programming Languages"
    • Part I (Jan 21, 2009 draft): PDF
    • Part II (Jan 21, 2009 draft): PDF
    • Part III (Feb 09, 2009 draft): PDF
    • Parts IV and V (Feb 20, 2009 draft): PDF
    • Parts VI and VII (Mar 30, 2009 draft): PDF
    • Part VIII (Apr 03, 2009 draft): PDF
    • Part IX (Apr 10, 2009 draft): PDF
    • Part XI (Apr 21, 2009 draft): PDF
    • Part XII (Apr 21, 2009 draft): PDF
    • Part XIII (Apr 24, 2009 draft): PDF
  • FJ-GJ: Igarashi et al.'s "Featherweight Java: A Minimal Core Calculus for Java and GJ"
• The following conventions indicate who is to read what:
  • Enclosed in "[" "]" = optional, suggested additional reading
  • Otherwise, required for ALL students

• Cumulative Reading Assignment:
  • Hpr: Parts I, II, III, IV, V, VI, VII, VIII, IX, XI, XII and XIII
  • FJ-GJ
  • CCS
  • NTO

• Assignment #14 -- First assigned during Lecture #26
  • CCS and NTO
• Assignment #13 -- First assigned during Lecture #25
  • FJ-GJ
• Assignment #12 -- First assigned during Lecture #24
  • Hpr: Part XIII (Chapters 37-40)
• Assignment #11 -- First assigned during Lecture #23
  • Hpr: Part XII (Chapters 34-36)
• Assignment #10 -- First assigned during Lecture #22
  • Hpr: Part XI (Chapters 32-33)
• Assignment #9 -- First assigned during Lecture #20
  • Hpr: Part IX (Chapters 27-29)
• Assignment #8 -- First assigned during Lecture #18
  • Hpr: Chapters 23-24
• Assignment #7 -- First assigned during Lecture #17
  • Hpr: Part VII (Chapters 21-22)
• Assignment #6 -- First assigned during Lecture #16
  • Hpr: Part VI (Chapters 19-20)
• Assignment #5 -- First assigned during Lecture #9
  • Hpr: Part IV (Chapters 13-15)
• Assignment #4 -- First assigned during Lecture #8
  • Hpr: Part V (Chapters 16-18)
• Assignment #3 -- First assigned during Lecture #5
  • Hpr: Part III (Chapters 9-12)
• Assignment #2 -- First assigned during Lecture #3
  • Hpr: Part II (Chapters 5-8)
• Assignment #1 -- First assigned during Lecture #1
  • Hpr: Part I (Chapters 1-4)

Return to the 630 main page