Home » forums » LtU Forum

help with type theory

Greetings LTU.

I am very new to type theory, taking an independent study in it at my university as my interests seem to point in this direction. However, as an independent study at a university where no one has a real specialization in the subject, there are some basics that I am struggling with. Are there any good forums that would be recommended for someone of my level where I could post questions that I just can't figure out and get some guidance? Thank you in advance.

By jdgallag at 2009-01-26 18:38 | LtU Forum | previous forum topic | next forum topic | other blogs | 5820 reads

Comment viewing options

Select your preferred way to display the comments and click "Save settings" to activate your changes.

TaPL and #haskell

1) If you haven't already bought TaPL (http://www.cis.upenn.edu/~bcpierce/tapl/), I would highly recommend it. Many of my beginner type theory questions were answered by reading this book. Pierce's writing is both approachable and rigorous; very conducive to "A-ha!" moments.

2) There are some knowledgeable folks on #haskell (http://www.haskell.org/haskellwiki/IRC_channel) that are often both friendly to newbies and receptive to broader PL questions. Give them a try.

By Alex Rubinsteyn at Thu, 2009-01-29 06:50 | login or register to post comments