noxabellus'

resources

These are academic resources I have collected while doing research for the Ribbon programming language.

I'm afraid listing everything I've referenced in the design would be impossible, so the following are some highlights I found particularly well-written, informative, or otherwise inspiring.

  • Abstracting Extensible Data Types or Rows By Any Other Name
  • A Polymorphic Record Calculus and Its Compilation
  • Generalized Evidence Passing for Effect Handlers
  • Do Be Do Be Do
  • Zero-cost Effect Handlers by Staging
  • Typed Memory Management in a Calculus of Capabilities
  • A Lightweight Formalism for Reference Lifetimes and Borrowing in Rust
  • Alias Types for Recursive Data Structures
  • System F-omega with Equirecursive Types for Datatype-Generic Programming
  • Numbering Matters: First-Order Canonical Forms for Second-Order Recursive
  • The Simple Essence of Algebraic Subtyping
  • Basically every publication from the fabulous Daan Leijen
  • How to compile pattern matching and various other works by Jules Jacobs
  • Lisp in Small Pieces
  • Let Over Lambda
  • Fear of Macros
  • Thunderseethe's blog
  • Ryan Brewer's blog
  • Colin James' blog
  • Max Bernstein also has a great collection of resources