Add suggestions for reading group topics to this page.
JastAdd attribute grammar system
On July 29 we looked at a tutorial on the JastAdd attribute grammar system.
Hack and HHVM
wanting to find a good introductory overview paper or talk
Hop multi-tier web language
Grace programming language
Whiley programming language
Shen programming language
Fay programming language
Algol60 programming language
Functional Reactive Programming
SPUR: A trace-based JIT compiler for CIL
The essence of compiling with traces
Dependently typed language, with applications to Web
Compiler verification, CompCert
CerCo: Certified Complexity
Writing GHC passes in Coq
Channel 9 MSDN talks
More on revision systems, merging
Program Integration for Languages with Procedure Calls (1995)
D. Binkley, S. Horwitz and T. Reps
Types vs Modularity
The Essence of Principal Typings
Types are Anti-Modular
(Relates to Principal Typings paper).
Rats! An Easily Extensible Parser Generator
Guice (Google's dependency injection framework
IBM X10 Language (competitor to Fortress)
Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire
Erik Meijer et al
This wiki team is being migrated off the wiki platform. You can find the Programming Languages and Verification Reading Group pages on the new site.