Lindsey Kuper (lindseykuper) wrote,
Lindsey Kuper
lindseykuper

Things I need to internalize by March or so

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?

Tags: quals, research
Subscribe

  • Unknown knowns

    Last night I went to see my friend Peter Alvaro give a talk based on Joseph Halpern's paper "Using Reasoning about Knowledge to Analyze…

  • My dissertation abstract

    So I need to write an abstract for my dissertation. Anyone wanna glance over this and tell me what you think? If you suggest any edits, keep in…

  • Gertrude Stein on distributed replicas

    There are many that I know and they know it, they are all of them repeating and I hear it, sometimes I tell it, mostly I tell it, there are many…

  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

  • 18 comments

  • Unknown knowns

    Last night I went to see my friend Peter Alvaro give a talk based on Joseph Halpern's paper "Using Reasoning about Knowledge to Analyze…

  • My dissertation abstract

    So I need to write an abstract for my dissertation. Anyone wanna glance over this and tell me what you think? If you suggest any edits, keep in…

  • Gertrude Stein on distributed replicas

    There are many that I know and they know it, they are all of them repeating and I hear it, sometimes I tell it, mostly I tell it, there are many…