Differences

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

schedule [2018/08/20 10:06]
mvc
schedule [2018/08/20 10:07] (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 w.r.t. 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]] |
Line 16: Line 16:
|  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 | 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 / 27 | CPS/CPS interpreters | Ch 5.1, EOPL |  | |  9 / 27 | CPS/CPS interpreters | Ch 5.1, EOPL |  |
-|  10 / 2 | representation independence w.r.t. continuations | | ri notes {{:ri-k.txt|newer}} {{:ri-k-method.ss|older}} |  +|  10 / 2 | Representation independence w.r.t. continuations | | ri notes {{:ri-k.txt|newer}} {{:ri-k-method.ss|older}} |  
-|  10 / 4 | registerization | Ch 5.3, EOPL | {{:new-registerization-notes.txt| Newer notes}} |+|  10 / 4 | Registerization | Ch 5.3, EOPL | {{:new-registerization-notes.txt| Newer notes}} |
|  10 / 9 | 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}} |
|  10 / 11 | ParentheC | | {{:parenthec.pdf|the ParentheC paper}} | |  10 / 11 | ParentheC | | {{:parenthec.pdf|the ParentheC paper}} |
|  10 / 16 | Exam Review  | | | |  10 / 16 | Exam Review  | | |
|  10 / 18 | Exam 2  | | | |  10 / 18 | Exam 2  | | |
-|  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 | 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 / 25 | miniKanren implementation | | {{:microkanren.pdf| draft paper}} | |  10 / 25 | miniKanren implementation | | {{:microkanren.pdf| draft paper}} |
|  10 / 30 | Types | Ch 7.1-7.2, EOPL | | |  10 / 30 | Types | Ch 7.1-7.2, EOPL | |
|  11 / 1 | Type Inferencing | Ch 7.3-7.4, EOPL | [[http://www.cs.indiana.edu/classes/c311/minitypes.pdf| type inference notes ]] | |  11 / 1 | Type Inferencing | Ch 7.3-7.4, EOPL | [[http://www.cs.indiana.edu/classes/c311/minitypes.pdf| type inference notes ]] |
-|  11 / 6 | bonus | | | +|  11 / 6 | Bonus | | | 
-|  11 / 8 | more miniKanren | | |+|  11 / 8 | More miniKanren | | |
|  11 / 13 | SPS | Ch 4.3, EOPL | | |  11 / 13 | SPS | Ch 4.3, EOPL | |
|  11 / 15 | Macros | Ch 14, SAOP | [[http://www.phyast.pitt.edu/~micheles/syntax-rules.pdf|Syntax rules for the merely eccentric]] | |  11 / 15 | Macros | Ch 14, SAOP | [[http://www.phyast.pitt.edu/~micheles/syntax-rules.pdf|Syntax rules for the merely eccentric]] |
 

schedule.txt · Last modified: 2018/08/20 10:07 by mvc