From 394123ab52327e184132525b8d13cc083c93fb9f Mon Sep 17 00:00:00 2001 From: Jim Pryor Date: Mon, 23 Aug 2010 17:53:05 -0400 Subject: [PATCH] added Expletives Signed-off-by: Jim Pryor --- schedule_of_topics.mdwn | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/schedule_of_topics.mdwn b/schedule_of_topics.mdwn index eda1a1da..11d32941 100644 --- a/schedule_of_topics.mdwn +++ b/schedule_of_topics.mdwn @@ -59,8 +59,9 @@ 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. +17. [Phil/ling application] Expletives -17. Dependent types +18. Dependent types ## Side-effects and mutation ## -- 2.11.0