 Programming languages textbook online
started 9/24/2002; 4:53:09 PM - last post 10/12/2002; 1:44:06 AM
|
|
Michael Vanier - Programming languages textbook online 
9/24/2002; 4:53:09 PM (reads: 1663, responses: 6)
|
|
| Programming languages textbook online |
This is a textbook for a programming languages class, focusing on basic type theory and the implementation of (mostly) functional languages. It's sort of a cross between to Pierce's Types in Programming Languages and Friedman et. al.'s Essentials of Programming Languages. It has a nice introduction to type theory and operational semantics, and has implementations of several toy languages done in ocaml. Best of all, it's totally free! ;-)
Posted to teaching/learning by Michael Vanier on 9/24/02; 4:53:38 PM
|
|
|
|
Frank Atanassow - Re: Programming languages textbook online
9/25/2002; 2:43:40 AM (reads: 946, responses: 0)
|
|
|
Thanks. I added this to my PLT Online page.
BTW, there is now an editable version of PLT Online available from our group's WikiWiki server (user registration required to edit). See:
http://www.cs.uu.nl/groups/ST/twiki/bin/view/Techno/WebHome
My list of programming language homepages is "mirrored" there also.
|
|
DNess - Re: Programming languages textbook online
9/25/2002; 2:15:05 PM (reads: 872, responses: 0)
|
|
|
I have tried to access the software and keep getting sent to a Google page at JH. Since being able to `do' the things discussed is an important part of the presentation to me, does anyone know how to actually get the software?
[Added later: Suggestion (below) worked for me. Thanks.]
|
|
scruzia - Re: Programming languages textbook online
9/25/2002; 2:36:35 PM (reads: 869, responses: 0)
|
|
|
|
jon fernquest - Re: Programming languages textbook online
9/27/2002; 7:57:06 AM (reads: 790, responses: 0)
|
|
|
It's great to have a book similar to EOPL in OCAML
and some things I like better, like in the compiling
by program transformation section the ideas are much
clearer and principled, it's much easier to understand
exactly what ideas in the program are helping you to get from A to Z.
|
|
Biep - Re: Programming languages textbook online
10/11/2002; 11:07:37 AM (reads: 676, responses: 0)
|
|
|
I have problems reading the PDF from the 119th page on. Is that me, or is there a problem with the source?
|
|
Michael Vanier - Re: Programming languages textbook online
10/12/2002; 1:44:06 AM (reads: 670, responses: 0)
|
|
|
It's you ;-) I can read the PDF with no problems all the way through.
|
|
|
|