-11. [Phil/ling application] King vs Schiffer in King 2007. pp 103ff
+11. [Phil/ling application] King vs Schiffer in King 2007, pp 103ff.
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"
@@ -61,10+59,16 @@ This is very sketchy at this point, but it should give a sense of our intended s
15. The types of continuations; continuations as first-class values
16. [Phil/ling application] Partee on whether NPs should be uniformly interpreted as generalized quantifiers, or instead "lifted" when necessary. Lifting = a CPS transform.
15. The types of continuations; continuations as first-class values
16. [Phil/ling application] Partee on whether NPs should be uniformly interpreted as generalized quantifiers, or instead "lifted" when necessary. Lifting = a CPS transform.
+17. [Phil/ling application] Expletives
+
+18. Misc references: Chris?
+ * de Groeten on lambda-mu and linguistics?
+ * on donkey anaphora and continuations
+ * Wadler on symmetric sequent calculi
-17. Dependent types
+19. Dependent types
-### Side-effects and mutation ###
+## Side-effects and mutation ##
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)
@@ -79,7+83,7 @@ This is very sketchy at this point, but it should give a sense of our intended s
9. [Phil/ling application] Fine and Pryor or "coordinated contents"
9. [Phil/ling application] Fine and Pryor or "coordinated contents"
-### Continuations (continued) ###
+## Continuations (continued) ##
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
@@ -88,7+92,7 @@ This is very sketchy at this point, but it should give a sense of our intended s
5. [Phil/ling application] Barker/Shan on donkey anaphora
5. [Phil/ling application] Barker/Shan on donkey anaphora
-### Preemptively parallel computing and linear logic ###
+## Preemptively parallel computing and linear logic ##
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)