Sign in to follow this  

PLT books

This topic is 4222 days old which is more than the 365 day threshold we allow for new replies. Please post a new topic.

If you intended to correct an error in the post then please contact us.

Recommended Posts

I want to learn programming language theory, but I'm not sure what books to get though. I already have the dragon book (Compilers: Principles, Techniques and Tools), but it's old and there is lots of stuff it doesn't even mention (JIT compilling, P-code/byte code, dependent types etc.), fortunatly a new version will be published in 2007. So I was wondering what other books would be a good idea to get? I'm also thinking about getting books about subjects such as hoare logic, process calculi (including lambda calculus), petri nets, CSP, etc., but what would be the best to start reading about, I'm thinking about reading about lambda calculus and petri nets at first, but maybe hoare logic and CSP would be a good idea also. What about pi-calculus? Is it important? I don't know much about these subjects yet, so I'm sorry if some of this stuff make no sense.

Share this post


Link to post
Share on other sites
*bump*

Does noone knows of anything? I had the impression that at least some people here had taken CS in college and AFAIK most CS programs have courses about PLT.

Share this post


Link to post
Share on other sites
Quote:
Original post by SamLowry
Maybe this can help:

LtU Thread
Online resources about PLT


Sorry for the late reply, haven't been able to reply in the last couple of days. I already knew PLT Online, the problem is that it only lists what is freely available, so I keep thinking that there might be something better. The lambda the ultimate thread looks interresting though. Thanks for your help.

Share this post


Link to post
Share on other sites

This topic is 4222 days old which is more than the 365 day threshold we allow for new replies. Please post a new topic.

If you intended to correct an error in the post then please contact us.

Create an account or sign in to comment

You need to be a member in order to leave a comment

Create an account

Sign up for a new account in our community. It's easy!

Register a new account

Sign in

Already have an account? Sign in here.

Sign In Now

Sign in to follow this