1. Product or record types, e.g. pairs and triples
2. Sum or variant types; tagged or "disjoint" unions
1. Product or record types, e.g. pairs and triples
2. Sum or variant types; tagged or "disjoint" unions
10. [Phil/ling application] inner/outer domain semantics for positive free logic
<!-- <http://philosophy.ucdavis.edu/antonelli/papers/pegasus-JPL.pdf> -->
10. [Phil/ling application] inner/outer domain semantics for positive free logic
<!-- <http://philosophy.ucdavis.edu/antonelli/papers/pegasus-JPL.pdf> -->
12. [Phil/ling application] King and Pryor on that clauses, predicates vs singular property-designators
13. Possible excursion: Frege's "On Concept and Object"
12. [Phil/ling application] King and Pryor on that clauses, predicates vs singular property-designators
13. Possible excursion: Frege's "On Concept and Object"
1. What difference imperativity makes
2. Monads we've seen, and the "monadic laws" (computer science version)
1. What difference imperativity makes
2. Monads we've seen, and the "monadic laws" (computer science version)
1. Using CPS to handle abortive computations
2. Using CPS to do other handy things, e.g., coroutines
1. Using CPS to handle abortive computations
2. Using CPS to do other handy things, e.g., coroutines
1. Basics of parallel programming: semaphores/mutexes
2. Contrasting "preemptive" parallelism to "cooperative" parallelism (coroutines, above)
1. Basics of parallel programming: semaphores/mutexes
2. Contrasting "preemptive" parallelism to "cooperative" parallelism (coroutines, above)