[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

RE: The Accessibility of Type Theory Research

> > Given that I don't think anyone can read what you put down, I would 
> > completely agree that a summary might be useful for people who can't

> > read it, in other words people in geeral.  But I'm not clear what
your 
> > point is...?
> 
> Now if anyone could point to a good paper on how to read type theory
papers and 
> mentally parse their notation into something closer to English,
perhaps it 
> would be easier to access the research in this area.

If you're more lecture-oriented, the University of Washington is
currently teaching a evening masters progamming languages course that
just spent a few lectures on formal semantics. Prof. Chambers spent
enough time on reading, understanding, authoring, and understanding both
typing judgements and formal (operational) semantics to give a suitably
motivated CS grad the ability to read and talk sensibly about your
average TOPLAS paper (naturally, excepting the "this builds on the
foo-bar calculus of [OtherGuy 1998]").

Check out the streams of the lectures (with slides and annotations he
made during the lectures) at:
http://www.cs.washington.edu/education/courses/csep505/03au/lectures/ind
ex.html
Particulary relevant to this discussion are the lectures on 10/13, 10/20
and 10/23.

- Lars