Differences

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

schedule [2019/01/07 10:00]
mvc
schedule [2019/01/07 10:02] (current)
mvc
Line 22: Line 22:
|  3 / 5 | Exam Review  | | | |  3 / 5 | Exam Review  | | |
|  3 / 7 | Exam 2  | | | |  3 / 7 | Exam 2  | | |
-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]] | +3 / 12 | Spring break | | | 
-11 / 1 | miniKanren implementation | | {{:microkanren.pdf| draft paper}} | +|  3 / 14 | Spring break | | | 
-11 / 6 | Types | Ch 7.1-7.2, EOPL | | +|  3 / 19 | 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 / 8 | Type Inferencing | Ch 7.3-7.4, EOPL | [[http://www.cs.indiana.edu/classes/c311/minitypes.pdf| type inference notes ]] | +3 / 21 | miniKanren implementation | | {{:microkanren.pdf| draft paper}} | 
-2 / 12 | SPS | Ch 4.3, EOPL | | +3 / 26 | Types | Ch 7.1-7.2, EOPL | | 
-2 / 14 | Macros | Ch 14, SAOP | [[http://www.phyast.pitt.edu/~micheles/syntax-rules.pdf|Syntax rules for the merely eccentric]] | +3 / 28 | Type Inferencing | Ch 7.3-7.4, EOPL | [[http://www.cs.indiana.edu/classes/c311/minitypes.pdf| type inference notes ]] | 
-11 / 13 | 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 / 2 | SPS | Ch 4.3, EOPL | | 
-11 / 15 | Monads | | | +4 / 4 | Macros | Ch 14, SAOP | [[http://www.phyast.pitt.edu/~micheles/syntax-rules.pdf|Syntax rules for the merely eccentric]] | 
-11 / 20 | Thanksgiving break | | | +4 / 9 | 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 / 22 | Thanksgiving break | | | +4 / 11 | Monads | | | 
-|  11 / 27 | Bonus | | | +4 / 16 | Bonus | | | 
-11 / 29 | More miniKanren | | | +4 / 18 | More miniKanren | | | 
-12 / 4 | bonus | | | +4 / 23 | bonus | | | 
-12 / 6 | Final Exam Review | | |+4 / 25 | Final Exam Review | | |
=== Key === === Key ===
 

schedule.txt · Last modified: 2019/01/07 10:02 by mvc