Page Information

Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

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

 

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.