Log in

No account? Create an account
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?


(Deleted comment)
(Deleted comment)
[User Picture]From: lindseykuper
2010-10-24 05:28 am (UTC)
The Sheard paper, while extremely cool, probably isn't the right one for my oral quals list -- but maybe the Cardelli is! That's another one we looked at for the FLOPS submission. (Actually we cited Sheard, too, for path compression, because you told me about it.)
(Reply) (Parent) (Thread)
[User Picture]From: lindseykuper
2010-10-24 04:38 am (UTC)
The Goguen "What Is Unification?" paper was one of the ones I read when I was working on the triangular substitution stuff. I didn't have the category theory to understand a lot of it, but I liked it.

(Goguen worked on so many interesting things. In my pre-grad-school explorations, before I was consciously aware of being interested in most of the things I'm interested in now, I kept arriving back at his website. In fall of 2006, I remember being very excited about applying to UCSD to work with him and then suddenly finding out that he'd passed away. That was a dark few days for me.)
(Reply) (Parent) (Thread)
[User Picture]From: lindseykuper
2010-10-24 05:00 am (UTC)
I'm assuming you don't need to know anything about...

Yeah, for this I don't. I'm not even entirely sure if I want to include the stuff about unification at all, because it doesn't have much to do with what I'm doing now -- but if part of the point of orals is to sum up what I've been doing for the last two years, then it makes sense to include it. And I would like to get back to it at some point. You know, in my copious free time.
(Reply) (Parent) (Thread)