?

Log in

No account? Create an account
Things I need to internalize by March or so - Lindsey Kuper [entries|archive|friends|userinfo]
Lindsey Kuper

[ website | composition.al ]
[ userinfo | livejournal userinfo ]
[ archive | journal archive ]

Things I need to internalize by March or so [Oct. 23rd, 2010|08:34 pm]
Lindsey Kuper
[Tags|, ]

So how does this look for an oral quals reading list? The idea of the list is to cover "the larger concepts and issues" of my research area, as well as to convey what I've been doing for the last two years. I've read most of them already, but "read once" is a long way from "internalized".

Oh, and:

  • TaPL, like, all of it
  • The first (Substructural Type Systems) and second (Dependent Types) chapters of ATTaPL

I also want to include some kind of standard reference on unification that's not specific to any particular language or system. Maybe this? I read a few things about unification last year as part of our unsuccessful FLOPS paper effort, but I never actually read Martelli and Montanari and probably ought to. Any suggestions?

Oh! And I'm going to have to know something about denotational semantics -- can anyone suggest a single standard reference for that?

Any other glaring omissions?

LinkReply

Comments:
(Deleted comment)
[User Picture]From: lindseykuper
2010-10-24 05:38 am (UTC)
But...but the whole point of indexed possible-worlds models is premised on the idea that domain theory is scary and to be avoided!

In all seriousness, I don't want to get too heavily into denotational semantics and its domainy underbelly, at least not right now. I just need to do enough of it so that I have a clear understanding of what I'm not doing most of the time.
(Reply) (Parent) (Thread)