Commit 0a609086 by Matthew Hammer

added paper link and issue for Thursday

1 parent 8d64db59
......@@ -155,12 +155,16 @@ Before class, add comments or questions here: [[issue link]](https://git.cs.colo
Class discussion: Students present final draft of critial path.
21. Mar 22: Spring break. No meeting.
22. Mar 24: Spring break. No meeting.
23. Mar 29: Topic: Propositions as Types ("Curry-Howard Correspondance")
Read the [Philip Wadler article from CACM, December 2015](http://cacm.acm.org/magazines/2015/12/194626-propositions-as-types/fulltext). [[pdf]](wadler-curry-howard.pdf).
Before class, add comments or questions here: [[issue link]](https://git.cs.colorado.edu/pl-act-s16/home/issues/23)
24. Mar 31:
24. Mar 31: Topic: Session Types
Read the paper [Session Types as Intuitionistic Linear Propositions](http://www.cs.cmu.edu/~fp/papers/concur10.pdf).
Before class, add comments or questions here: [[issue link]](https://git.cs.colorado.edu/pl-act-s16/home/issues/24)
**April:**
25. Apr 5:
......
Styling with Markdown is supported
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!