User loginNavigation |
archivesMechanized λ<sub>JS</sub>Mechanized λJS
More work on mechanizing the actual, implemented semantics of a real language, rather than a toy. By Paul Snively at 2012-06-27 15:28 | Functional | Javascript | Lambda Calculus | Semantics | 6 comments | other blogs | 19394 reads
Announcement: Compiler/PLT discussion group in Berlin[I hope it isn't considered out of line to post such a thing here.] I'm launching a monthly meetup for PLT-related discussion in Berlin. We had a good get-together earlier this month, and are hoping to get some more people aboard the 10th of July. There will be talks, beverages, and at least half a dozen nerds. See http://berlin.compilermeet.org for details. |
Browse archivesActive forum topics |
Recent comments
36 weeks 2 days ago
36 weeks 2 days ago
36 weeks 2 days ago
1 year 6 weeks ago
1 year 10 weeks ago
1 year 12 weeks ago
1 year 12 weeks ago
1 year 14 weeks ago
1 year 19 weeks ago
1 year 19 weeks ago