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;

H:

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

L:

• Let Arguments Go First;

N:

• Notation as a Tool of Thought

P:

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

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;

W:

• Write Yourself a Scheme in 48 Hours;

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

---

Tags: reading   language  

Last modified 05 February 2024

---

© 2020 Ted Neward | Mixed with Bootstrap v3.1.1 | Baked with JBake v2.6.5