Differences

This shows you the differences between two versions of the page.

schedule [2017/12/28 21:24]
mvc
schedule [2018/08/12 10:34] (current)
mvc
Line 4: Line 4:
^Week^ Topic^ Optional Texts^ Optional Notes ^ ^Week^ Topic^ Optional Texts^ Optional Notes ^
-1 / 9 | Racket & Recursion | Chs 1, 2, & 4, SAOP | | +8 / 21 | Racket & Recursion | Chs 1, 2, & 4, SAOP | | 
-1 / 11 | Higher-Order Abstraction & Primitive Recursion| Ch 7, SAOP | {{:ack.rkt|program transformations}} {{ack-etc.rkt |enrichment material}} | +8 / 23 | Higher-Order Abstraction & Primitive Recursion| Ch 7, SAOP | {{:ack.rkt|program transformations}} {{ack-etc.rkt |enrichment material}} | 
-1 / 16 | letrec, quasiquote & match | Ch 5.1-5.2, SAOP |[[http://docs.racket-lang.org/reference/let.html#%28form._%28%28lib._racket%2Fprivate%2Fletstx-scheme..rkt%29._letrec%29%29|letrec]] [[http://docs.racket-lang.org/reference/quasiquote.html?q=letrec|quasiquote]] [[http://docs.racket-lang.org/reference/match.html?q=match#%28form._%28%28lib._racket%2Fmatch..rkt%29._match%29%29|match]]| +8 / 28 | letrec, quasiquote & match | Ch 5.1-5.2, SAOP |[[http://docs.racket-lang.org/reference/let.html#%28form._%28%28lib._racket%2Fprivate%2Fletstx-scheme..rkt%29._letrec%29%29|letrec]] [[http://docs.racket-lang.org/reference/quasiquote.html?q=letrec|quasiquote]] [[http://docs.racket-lang.org/reference/match.html?q=match#%28form._%28%28lib._racket%2Fmatch..rkt%29._match%29%29|match]]| 
-1 / 18 | free and bound variables, lexical address | |[[http://www.ccs.neu.edu/course/cs7400/lectures/lecture04.pdf|Free, Bound, Lex notes]] | +8 / 30 | free and bound variables, lexical address | |[[http://www.ccs.neu.edu/course/cs7400/lectures/lecture04.pdf|Free, Bound, Lex notes]] | 
-1 / 23 | Intro. to Interpreters | Chs 2 & 3, EOPL | | +9 / 4 | Intro. to Interpreters | Chs 2 & 3, EOPL | | 
-1 / 25 | Representation Independence wrt Environments, Closures | | [[http://www.cs.indiana.edu/usr/local/www/classes/c311/a3/ri_interpreter.pdf|Notes on representation independence]] | +9 / 6 | Representation Independence wrt Environments, Closures | | [[http://www.cs.indiana.edu/usr/local/www/classes/c311/a3/ri_interpreter.pdf|Notes on representation independence]] | 
-1 / 30 | Dynamic and Lexical Scope | | |  +9 / 11 | Dynamic and Lexical Scope | | |  
-2 / 1 | Parameter-Passing Style | Ch 4.5, EOPL | {{:call-by.pdf|An in-depth look at parameter-passing variations}} |  +9 / 13 | Parameter-Passing Style | Ch 4.5, EOPL | {{:call-by.pdf|An in-depth look at parameter-passing variations}} |  
-2 / 6 | Exam Review | | | +9 / 18 | Exam Review | | | 
-2 / 8 | Exam 1 | | |  +9 / 20 | Exam 1 | | |  
-2 / 13 | intro to continations and CPS | Chs 16 & 17, SAOP; Ch 6.1-6.3 EOPL | [[CPS Refresher]] {{:cps-notes.scm|Notes}} {{:cpslecture.scm| Notes}} | +9 / 25 | intro to continations and CPS | Chs 16 & 17, SAOP; Ch 6.1-6.3 EOPL | [[CPS Refresher]] {{:cps-notes.scm|Notes}} {{:cpslecture.scm| Notes}} | 
-2 / 15 | CPS/CPS interpreters | Ch 5.1, EOPL |  |  +9 / 27 | CPS/CPS interpreters | Ch 5.1, EOPL |  |  
-2 / 20 | representation independence of continuations | | ri notes {{:ri-k.txt|newer}} {{:ri-k-method.ss|older}} |  +10 / 2 | representation independence of continuations | | ri notes {{:ri-k.txt|newer}} {{:ri-k-method.ss|older}} |  
-2 / 22 | registerization | Ch 5.3, EOPL | {{:new-registerization-notes.txt| Newer notes}} | +10 / 4 | registerization | Ch 5.3, EOPL | {{:new-registerization-notes.txt| Newer notes}} | 
-2 / 27 | Trampolining | Ch 5.2, EOPL | {{:reg-tramp.pdf|Older notes on reg & trampolining}} | +10 / 9 | Trampolining | Ch 5.2, EOPL | {{:reg-tramp.pdf|Older notes on reg & trampolining}} | 
-3 / 1 | ParentheC | | {{:parenthec.pdf|the ParentheC paper}} | +10 / 11 | ParentheC | | {{:parenthec.pdf|the ParentheC paper}} | 
-3 / 6 | Exam Review  | | | +10 / 16 | Exam Review  | | | 
-3 / 8 | Exam 2  | | |  +10 / 18 | Exam 2  | | |  
-3 / 13 | Spring Break | | | +10 / 23 | introduction to miniKanren | | {{:mk-convert.pdf|xform to mK}} [[http://www.cs.indiana.edu/l/www/classes/c311/miniaop.pdf| notes]] on [[http://www.cs.indiana.edu/l/www/classes/c311/minirop.pdf| lp]] [[http://www.cs.indiana.edu/l/www/classes/c311/minilop.pdf| and]] [[http://www.cs.indiana.edu/l/www/classes/c311/miniunify.pdf| unification]] | 
-|  3 / 15 | Spring Break | | | +10 / 25 | miniKanren implementation | | {{:microkanren.pdf| draft paper}} | 
-|  3 / 20 | introduction to miniKanren | | {{:mk-convert.pdf|xform to mK}} [[http://www.cs.indiana.edu/l/www/classes/c311/miniaop.pdf| notes]] on [[http://www.cs.indiana.edu/l/www/classes/c311/minirop.pdf| lp]] [[http://www.cs.indiana.edu/l/www/classes/c311/minilop.pdf| and]] [[http://www.cs.indiana.edu/l/www/classes/c311/miniunify.pdf| unification]] | +10 / 30 | Types | Ch 7.1-7.2, EOPL | | 
-3 / 22 | miniKanren implementation | | {{:microkanren.pdf| draft paper}} | +11 / 1 | Type Inferencing | Ch 7.3-7.4, EOPL | [[http://www.cs.indiana.edu/classes/c311/minitypes.pdf| type inference notes ]] | 
-3 / 27 | Types | Ch 7.1-7.2, EOPL | | +11 / 6 | bonus | | | 
-3 / 29 | Type Inferencing | Ch 7.3-7.4, EOPL | [[http://www.cs.indiana.edu/classes/c311/minitypes.pdf| type inference notes ]] | +11 / 8 | more miniKanren | | | 
-4 / 3 | bonus | | | +11 / 13 | SPS | Ch 4.3, EOPL | | 
-4 / 5 | more miniKanren | | | +11 / 15 | Macros | Ch 14, SAOP | [[http://www.phyast.pitt.edu/~micheles/syntax-rules.pdf|Syntax rules for the merely eccentric]] | 
-4 / 10 | SPS | Ch 4.3, EOPL | | +11 / 20 | Thanksgiving break | | | 
-4 / 12 | Macros | Ch 14, SAOP | [[http://www.phyast.pitt.edu/~micheles/syntax-rules.pdf|Syntax rules for the merely eccentric]] | +|  11 / 22 | Thanksgiving break | | | 
-4 / 17 | Monads | | {{http://cs.indiana.edu/~cswords/monads.pdf|Cameron's}} {{:manymonads.pdf|Dan and Adam's}}  {{:schemersviewdan.pdf|Dan's}} [[http://homepages.inf.ed.ac.uk/wadler/papers/marktoberdorf/baastad.pdf| Wadler's]] | +|  11 / 27 | Monads | | {{http://cs.indiana.edu/~cswords/monads.pdf|Cameron's}} {{:manymonads.pdf|Dan and Adam's}}  {{:schemersviewdan.pdf|Dan's}} [[http://homepages.inf.ed.ac.uk/wadler/papers/marktoberdorf/baastad.pdf| Wadler's]] | 
-4 / 19 | Monads | | | +11 / 29 | Monads | | | 
-4 / 24 | bonus | | | +12 / 4 | bonus | | | 
-4 / 26 | Final Exam Review | | |+12 / 6 | Final Exam Review | | |
=== Key === === Key ===
 

schedule.txt · Last modified: 2018/08/12 10:34 by mvc