archives

LtU needs you!

It seems that the LtU community has grown quite a bit recently, and the editorial team has to play catch-up.

If you are regular reader, and follow programming related news from other venues (e.g., online discussion groups, departmental seminar, read published paper for fun), how about joining the team and posting relevant items to the home page?

If you are interested, please get in touch with me via email.

By Ehud Lamm at 2005-06-01 08:46 | Admin | 4 comments | other blogs | 6640 reads

Basic(er) Simple(r) Type Theory(?)

My lurking here at LtU has motivated me to learn about type theory, so I picked up a cheap used copy of Hindley's _Basic Simple Type Theory_, and have found myself woefully unprepared for it. A lunchtime sojourn to wikipedia yesterday was my first introduction to S & K combinators, so needless to say, all the formal logic, proofs, etc., are right over my head.

Is there a more basic, simpler introduction to type theory that doesn't assume a competant formal background that y'all can recommend, or, failing that, can y'all recommend a list of preparatory works to read first?

thanks in advance,

JimDesu

By jimdesu at 2005-06-01 17:55 | LtU Forum | 25 comments | other blogs | 12260 reads