Differences

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

schedule [2018/09/19 19:24]
mvc
schedule [2018/10/21 12:49] (current)
mvc
Line 28: Line 28:
|  11 / 6 | Types | Ch 7.1-7.2, EOPL | | |  11 / 6 | Types | Ch 7.1-7.2, EOPL | |
|  11 / 8 | Type Inferencing | Ch 7.3-7.4, EOPL | [[http://www.cs.indiana.edu/classes/c311/minitypes.pdf| type inference notes ]] | |  11 / 8 | Type Inferencing | Ch 7.3-7.4, EOPL | [[http://www.cs.indiana.edu/classes/c311/minitypes.pdf| type inference notes ]] |
-|  11 / 13 | Bonus | | | +|  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]]
-|  11 / 15 | More miniKanren | | |+|  11 / 15 | Monads | | |
|  11 / 20 | Thanksgiving break | | | |  11 / 20 | Thanksgiving break | | |
|  11 / 22 | Thanksgiving break | | | |  11 / 22 | Thanksgiving break | | |
-|  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]] +|  11 / 27 | Bonus | | | 
-|  11 / 29 | Monads | | |+|  11 / 29 | More miniKanren | | |
|  12 / 4 | bonus | | | |  12 / 4 | bonus | | |
|  12 / 6 | Final Exam Review | | | |  12 / 6 | Final Exam Review | | |
 

schedule.1537399448.txt.gz · Last modified: 2018/09/19 19:24 by mvc