Differences

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

schedule [2018/08/12 10:34]
mvc
schedule [2018/09/19 19:24] (current)
mvc
Line 7: Line 7:
|  8 / 23 | 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}} |
|  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]]| |  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]]|
-|  8 / 30 | 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]] |
|  9 / 4 | Intro. to Interpreters | Chs 2 & 3, EOPL | | |  9 / 4 | Intro. to Interpreters | Chs 2 & 3, EOPL | |
-|  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]] |+|  9 / 6 | Representation Independence w.r.t. Environments, Closures | | [[http://www.cs.indiana.edu/usr/local/www/classes/c311/a3/ri_interpreter.pdf|Notes on representation independence]] |
|  9 / 11 | Dynamic and Lexical Scope | | | |  9 / 11 | Dynamic and Lexical Scope | | |
|  9 / 13 | 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}} |
|  9 / 18 | Exam Review | | | |  9 / 18 | Exam Review | | |
|  9 / 20 | Exam 1 | | | |  9 / 20 | Exam 1 | | |
-|  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}} | +|  9 / 25 | SPS | Ch 4.3, EOPL | | 
-9 / 27 | CPS/CPS interpreters | Ch 5.1, EOPL |  |  +|  9 / 27 | Macros | Ch 14, SAOP | [[http://www.phyast.pitt.edu/~micheles/syntax-rules.pdf|Syntax rules for the merely eccentric]] | 
-|  10 / 2 | representation independence of continuations | | ri notes {{:ri-k.txt|newer}} {{:ri-k-method.ss|older}} |  +|  10 / 2 | intro to continations and CPS | Chs 16 & 17, SAOP; Ch 6.1-6.3 EOPL | [[CPS Refresher]] {{:cps-notes.scm|Notes}} {{:cpslecture.scm| Notes}} | 
-|  10 / 4 | registerization | Ch 5.3, EOPL | {{:new-registerization-notes.txt| Newer notes}} | +10 / 4 | CPS/CPS interpreters | Ch 5.1, EOPL |  |  
-|  10 / 9 | Trampolining | Ch 5.2, EOPL | {{:reg-tramp.pdf|Older notes on reg & trampolining}} | +|  10 / 9 | Representation independence w.r.t. continuations | | ri notes {{:ri-k.txt|newer}} {{:ri-k-method.ss|older}} |  
-|  10 / 11 | ParentheC | | {{:parenthec.pdf|the ParentheC paper}} | +|  10 / 11 | Registerization | Ch 5.3, EOPL | {{:new-registerization-notes.txt| Newer notes}} | 
-|  10 / 16 | Exam Review  | | | +|  10 / 16 | Trampolining | Ch 5.2, EOPL | {{:reg-tramp.pdf|Older notes on reg & trampolining}} | 
-|  10 / 18 | Exam 2  | | |  +|  10 / 18 | ParentheC | | {{:parenthec.pdf|the ParentheC paper}} | 
-|  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]] | +|  10 / 23 | Exam Review  | | | 
-10 / 25 | miniKanren implementation | | {{:microkanren.pdf| draft paper}} | +|  10 / 25 | Exam 2  | | |  
-10 / 30 | Types | Ch 7.1-7.2, EOPL | | +|  10 / 30 | 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]] | 
-|  11 / 1 | Type Inferencing | Ch 7.3-7.4, EOPL | [[http://www.cs.indiana.edu/classes/c311/minitypes.pdf| type inference notes ]] +11 / 1 | miniKanren implementation | | {{:microkanren.pdf| draft paper}} | 
-|  11 / 6 | bonus | | | +11 / 6 | Types | Ch 7.1-7.2, EOPL | | 
-|  11 / 8 | more miniKanren | | +|  11 / 8 | Type Inferencing | Ch 7.3-7.4, EOPL | [[http://www.cs.indiana.edu/classes/c311/minitypes.pdf| type inference notes ]] | 
-|  11 / 13 | SPS | Ch 4.3, EOPL | | +|  11 / 13 | Bonus | | | 
-|  11 / 15 | Macros | Ch 14, SAOP | [[http://www.phyast.pitt.edu/~micheles/syntax-rules.pdf|Syntax rules for the merely eccentric]] |+|  11 / 15 | More miniKanren | | |
|  11 / 20 | Thanksgiving break | | | |  11 / 20 | Thanksgiving break | | |
|  11 / 22 | Thanksgiving break | | | |  11 / 22 | Thanksgiving break | | |
 

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