References

  1. S. Arun-Kumar, Video Lectures on Programming Languages
  2. Prasad S, S. Arun-Kumar: Notes on An Introduct ion to Operational Semantics, November 2003.
  3. Scott M L: Programming Language Pragmatics, Third edition Morgan Kaufmann Publishers, 2009.
  4. Sethi R: Programming Languages: Concepts and Constructs, 2nd ed., Addison-Wesley, 2007.
  5. S. Arun-Kumar, Some slides on Functional programming, the λ -Calculus, Logic programming and Prolog used in another course.
  6. Mike Gordon, Annotated notes on the λ-Calculus
  7. S. Arun-Kumar, Some slides on Funct ional programming used in another course.
  8. S. Arun-Kumar, Some slides on First-o rder Logic, logic programming used in another course.
  9. S. Arun-Kumar, Inheritance in Java, 2002.
  10. S. Arun-Kumar, Type inferencing in the λ-Calculus, 2002.
  11. S. Arun-Kumar, Some slides on compiler technology used in another course, 2009.