PL Reading Group Topic List

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 

FStar

http://research.microsoft.com/en-us/projects/fstar/

Hack and HHVM

http://hacklang.org

wanting to find a good introductory overview paper or talk

http://hhvm.com/

Hop multi-tier web language

http://hop.inria.fr

Grace programming language

http://gracelang.org/applications/2013/10/31/splash2013-grace-tutorial/

LogicBlox tech

e.g. LogiQL https://developer.logicblox.com/content/docs4/tutorial/repl/section/split.html

Whiley programming language

http://whiley.org

Shen programming language

http://shenlanguage.org

Fay programming language

Algol60 programming language

Functional Reactive Programming

Paper suggestions: http://conal.net/papers/icfp97/ and at http://conal.net/papers/frp.html

Introductory category theory

Trace-based compilation

SPUR: A trace-based JIT compiler for CIL
http://dl.acm.org/citation.cfm?id=1869517

The essence of compiling with traces
http://dl.acm.org/citation.cfm?id=1926450

Ur

Dependently typed language, with applications to Web

http://www.impredicative.com/ur
http://www.impredicative.com/ur/tutorial/

Compiler verification, CompCert

CerCo: Certified Complexity
http://cerco.cs.unibo.it/

Writing GHC passes in Coq
http://www.cs.berkeley.edu/~megacz/coq-in-ghc/

Channel 9 MSDN talks

http://channel9.msdn.com/shows/Going+Deep/Expert-to-Expert-Anders-Hejlsberg-The-Future-of-C/

http://channel9.msdn.com/shows/Going+Deep/Gilad-Bracha-Inside-Newspeak/

More on revision systems, merging

Program Integration for Languages with Procedure Calls (1995)
D. Binkley, S. Horwitz and T. Reps
http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.3.1197&rep=rep1&type=pdf

Types vs Modularity

The Essence of Principal Typings
J. Wells
http://www.springerlink.com/content/7pd08xhmfkkautcm/

Types are Anti-Modular
Gilad Bracha
http://gbracha.blogspot.com/2011/06/types-are-anti-modular.html
(Relates to Principal Typings paper).

Effects systems

Isabell/HOL strategies

Rats! An Easily Extensible Parser Generator

Guice (Google's dependency injection framework

IBM X10 Language (competitor to Fortress)

DTrace

Parallel Languages

Array-OL

Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire

Erik Meijer et al

 

  • No labels