awesome-pl-articles.md

Awesome Programming Languages articles

If you are interested in programming languages, probably you are writing your own PL (or wish to write). Then this place is for you. This is the list of awesome PL articles that you might be helpful. Also it's the place to look for a new ideas and inspiration. Feel free to make a contribution. If you are bloging about your PL you are also welcome.

See also:

• Awesome programming languages;

Contents

A:

B:

C:

• Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism;
• Creating the Bolt compiler (series):
  • Part 1: How I wrote my own "proper" programming language;
  • Part 2: So how do you structure a compiler project?;
  • Part 3: Writing a Lexer and Parser using OCamllex and Menhir;
  • Part 4: An accessible introduction to type theory and implementing a type-checker;
  • Part 5: A tutorial on liveness and alias dataflow analysis;
  • Part 6: Desugaring - taking our high-level language and simplifying it!;
  • Part 7: A Protobuf tutorial for OCaml and C++;
  • Part 8: A Complete Guide to LLVM for Programming Language Creators;
  • Part 9: Implementing Concurrency and our Runtime Library;
  • Part 10: Generics - adding polymorphism to Bolt;
  • Part 11: Adding Inheritance and Method Overriding to Our Language;

D:

E:

F:

G:

H:

• How OCaml type checker works -- or what polymorphism and garbage collection have in common;

I:

J:

K:

L:

• Let Arguments Go First;

M:

N:

• Notation as a Tool of Thought

O:

P:

• Programming type-safe transformations using higher-order abstract syntax
• PROGRAMMING A PROBLEM-ORIENTED LANGUAGE

Q:

R:

S:

• Subtype Inference by Example (series):
  • Part 1: Introducing CubiML;
  • Part 2: Parsing and Biunification;
  • Part 3: The Typechecker Frontend;
  • Part 4: The Typechecker Core;
  • Part 5: Incremental Reachability;
  • Part 6: Numeric Types and Operators;
  • Part 7: Spanned Error Messages;
  • Part 8: Mutability;
  • Part 9: Match Wildcards, Record Extension and Row Polymorphism;
  • Part 10: Let Polymorphism;
  • Part 11: The Value Restriction and Polymorphic Recursion;
  • Part 12: Flow Typing and Mixed Comparison Operators;
  • Part 13: Conditional Flow Constraints, Presence Polymorphism, and Type Level Computation;
  • Part 14: Type Annotations— What are they good for?;
  • Part 15: Monomorphic Type Annotations;

T:

U:

V:

W:

• Write Yourself a Scheme in 48 Hours;

X:

Y:

Z:

See also

• Great Works in Programming Languages - a list by Dr. Pierce, the professor who wrote Types and Programming Languages and Software Foundations, about great papers in the PL field;