Structure and Interpretation of Computer Programs
Fall 2019, Nanjing University
Lecture Notes
[12/25]
:
Final Exam Review and Conclusion
.
[12/23]
:
An overview of Coq
. Also see the
Software Foundations
textbook,
Basics
,
Induction
,
Lists
, and
Logic
.
[12/21]
:
SQL-II
.
[12/16]
: Declarative programming:
SQL-I
.
[12/11]
:
Streams
.
[12/09]
: More on
Macros
.
[12/04]
:
Interpreters
and
Macros
. Code for
demos
.
[12/02]
:
Scheme - II
continued
[11/27]
:
Scheme - I
and
Scheme - II
.
[11/25]
:
Interfaces
.
[11/20]
:
Linked Lists and Mutable Trees
. Code for
demos
.
[11/18]
:
Inheritance
.
[11/13]
: midterm.
[11/11]
:
Objected Oriented Programming
.
[11/06]
:
Iterators
continued (
ppt version of notes
). Code for
demos
.
[11/04]
:
Mutable Functions
continued, and
Iterators
. Code for
demos
.
[10/30]
:
Mutable Functions
. Code for
demos and Church numerals
.
[10/28]
:
Mutable Values
continued.
[10/23]
:
Trees
and
Mutable Values
. Code for
demos
.
[10/21]
:
Data Abstractions
. Code for
demos
.
[10/16]
:
Containers
. Code for
demos
.
[10/14]
: More
examples
on recursion.
[10/12]
:
Recursion
and
Examples
. Code for
demos
.
[10/08]
:
Environment Diagrams
, and
Higher Order Functions
. Code for
demos
.
[09/30]
:
Control
, continued.
[09/25]
:
Names and Functions
, and
Control
. Code for
demos
.
[09/23]
:
Introduction
, and
demo
.
back
