User loginNavigation |
Programming Languages and Lambda CalculiProgramming Languages and Lambda Calculi looks like a comprehensive treatement of the semantics of typed and untyped call-by-value programming languages. I imagine if one had a basic undergraduate education in programming language theory and wanted to get up to speeed in a hurry this would be a great resource. |
Browse archivesActive forum topics |
Recent comments
8 weeks 2 days ago
8 weeks 4 days ago
8 weeks 6 days ago
15 weeks 5 days ago
21 weeks 3 days ago
21 weeks 4 days ago
22 weeks 3 days ago
25 weeks 2 days ago
26 weeks 5 days ago
26 weeks 5 days ago