Differences

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

schedule [2018/08/20 10:07]
mvc
schedule [2018/09/19 19:24] (current)
mvc
Line 14: Line 14:
|  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 w.r.t. 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.txt · Last modified: 2018/09/19 19:24 by mvc