Vanilla Systems

• System F
  • Syntax
  • Type Checker
  • Interpreter
• System F-Sub
  • Syntax
  • Type Checker

Base Diamond Systems

• Diamond STLC
  • Syntax
  • Type Checker
• Diamond F-Sub

Type/Qualifier Inference for Base Diamond Systems

• Bidirectional Diamond STLC
• Bidirectional Diamond F-Sub

Flow-Sensitive Effects Diamond Systems

• Effect Diamond STLC
• Effect Diamond F-Sub

Extensions

• Multi-arguments functions
• Nested references
• Native algebraic data types
• Algebraic effects and handlers
• Parallel/concurrency operations
• Native arrays

Towards practical languages

• Parsers
• Interpreters
• Compilers to X86 (a la miniScala)