CIS705a Text Materials


  • Programming in Scala
  • An Introduction to Programming-Language Semantics. From CRC/ACM Computer Science Handbook, 3d ed., 2014.
  • My Denotational Semantics text from 1986.
  • An assignment language that is nonstrict in the use of its store
  • Semantics of the while-loop and soundness of its Hoare-logic rule
  • Background and motivations for the lambda-calculus,
  • Encoding arithmetic and commands in lambda-calculus
  • Denotational semantics based on lambda-calculus
  • The Lambda Calculus, from The Structure of Typed Programming Languages, D.A. Schmidt, MIT Press, 1994.
  • Domain-specific languages
  • An Introduction to Milner's CCS, by L. Aceto and K.G. Larsen, Aalborg University, Denmark, 2005
  • CCS notes
  • Notes on coinduction
  • Exercises with coinduction
  • Later:

    David Schmidt   das at

    Creative Commons License This work is licensed under a Creative Commons License.