* Fall 94 Lecture notes

  1. August 26 ( by Professor Constable )
    Organization & Administration - Course Sections - Motivation & Goals - Is CS611 the Right Course for You? - Outline - Motivation - References
  2. August 29 ( by Jing Huang )
    Introduction to Semantics of Programming Languages - Math Preliminaries & ML
  3. August 31 ( by Pavel Naumov )
    Primitive type in mathematics & ML - Type constructors
    September 2
    Demo day
  4. September 5 ( by David Pierce)
    Math Preliminaries & ML
  5. September 7 ( by Brent Knight)
    Types - Propositions
  6. September 9 (not available )
  7. September 12 ( by Francis Chu )
    Remark - Logic Continued - Examples of How We Lern to Understand Logic Operations - Informal Proof - Formal Proof - Minimal Logic - Constructive Logic - Classical Logic - Remark - Explanation of problem 4 on PS2
  8. September 14 ( by Ozan Hafizogullari )
    Comments on the Computational Content of the Proof of Decidability of Validity Decision of Propositional Formulas
  9. September 16 (by Daniel Rabinovich)
  10. September 19 ( by Brian Willem )
    Set Theoretic Approach to Inductive Types - Why?!: Concluding Remarks
  11. September 21 ( by Grzegorz Czajkowski)
    Ordinals - Set-based mappings - Primitive recursion - Introducing function types to our system - Co-inductive types
  12. September 23 (not ready yet)
  13. September 26 (by Nawaaz Ahmed)
  14. September 28 ( by Wee-Liang Heng )
    Surface syntax - Properties of LT - de Bruijn indices - Binding
  15. September 30 ( by Vijay Menon )
  16. October 3 ( by Eugene Ortenberg )
    Combinators as values - beta-reduction
  17. October 5 ( by Todd Wilson )
    October 7
    Demo day
  18. October 10 not ready yet
  19. October 12 ( by Chi-Chao Chang )
    Plan - Natural Semantics - Equivalence of Reduction and Natural Semantics
    October 14
    Demo day
  20. October 17 ( by Professor Constable )
    Review of t|t' - Environment Semantics - Environments
  21. October 19 ( by Professor Constable )
    Environment Semantics - Lisp evaluator
  22. October 21 ( by Professor Constable )
    The Structure of Lisp and Scheme
  23. October 24 ( by Professor Constable )
    October 26
    Preliminary examination
  24. October 28 ( by Professor Constable )
    Sexpressions - Mexpressions - Reflecting Mexpressions into Sexpressions - Metacircular evaluator - Shock therapy
  25. October 31 ( by Arun Verma )
    Why typed languages? - Typed Lambda Calculus - Examples
  26. November 2 ( by Rebecca Isaacs)
    Motivation for the Subject Reduction Theorem - The Subject Reduction Theorem
  27. November 4 (by Wei Chen)
  28. November 7 ( by Lynette Millett )
    Remarks on Subject Reduction - Termination - Cartesion Product - Some Final Comments
  29. November 4
  30. December 2
  31. November 28
  32. November 23
  33. November 14