CS 6848 - Principles of Programming Languages

• Time and Place: Mon (11.00-11.50am), Tue (10.00-10.50am), Wed (9.00-9.50am), Thu (12.00-12.50pm) D slot. Class room # CS 24 (Seminar room).
• Teacher : V. Krishna Nandivada
• Office hours / Doubt sessions : Anytime.
• TA : Suyash Gupta and Aman Nougrahiya. Office hours: Fix a time by sending an email.
  

• Course outline.
• Software, documentation and tools link is here.
• Submission guidelines.
• Discussion website is here (access restricted).
• Texts:
  • Book 1: Essentials of Programming Languages (EOPL), Daniel P. Friedman, Mitchell Wand, and Christopher T. Haynes, McGraw-Hill, 2001.
  • Book 2: Types and Programming Languages, Benjamin C. Pierce, MIT Press, 2002.
  • Ref 1: Foundations of Programming Languages, John Mitchell, MIT Press, 1996.
  • Ref 2: Practical Foundations of Programming Languages, Robert Harper, 2011, online book.

• --- all dates --- Acknowledgements
• Jan 15, 16, 27 2014. Introduction
• Jan 28, 29, 30, Feb 3, 4, 6 2014. Introducing New Data Types and Interpreters
• Feb 10, 11 2014. Operational Semantics
• Feb 12, 13, 17 2014. Type Systems I: Simply typed lambda calculus, type soundness
• Feb 18, 19, 20, 24 2014. Type Systems II: Recursive Types, Subtyping and Type inference
• Feb 25, 26 2014. Type Systems III - extending languages
• Mar 01 2014. Type Systems IV - System F, Church numerals
• Mar 05 2014. Typed Assembly Language
• Mar 10,11,12 2014. Continuation Passing Style (CPS)
• Mar 18,19,20,24 2014. Flow analysis
• Mar 25, 26 2014. (slides 15 onwards) Axiomatic Semantics
• Apr 1, 2, 3, 7, 8, ?, ?, 2014. Basics.v Induction.v Lists.v MoreCoq.v Prop.v Logic.v Imp.v

Assignments:

Assignment	What?	Credit	Start date	Mid-Eval date	Due-date
P1	Java Simplifier	5%	20 Jan 2014	25 Jan 2014, 11:59AM	03 Feb 2014, 11:59AM
P2	Java interpreter	5%	04 Feb 2014	08 Feb 2014, 11:59AM	18 Feb 2014, 11:59AM
P3	Java structural subtyping	5%	18 Feb 2014	24 Feb 2014, 05:59PM	01 Mar 2014, 05:59PM
P4	Scheme type inference	5%	01 Mar 2014	05 Mar 2014, 05:59PM	13 Mar 2014, 05:59PM
P5	Java CPS Transformer	10%	13 Mar 2014	16 Mar 2014, 05:59PM	28 Mar 2014, 05:59PM
P6	Theorem Proving using Coq	10%	TBA	TBA , 05:59PM	TBA , 05:59PM
P7	Paper reading	10%	01 Apr 2014	-	-

Written Exams:

• Midterm exam (20%) on Mar 13th 2014 2pm. Closed book, closed notes, closed neighbor. sample solution.
• Final exam (30%) on May 1st 2014 2pm. Closed book, closed notes, closed neighbor. sample solution.