Typing & Inference

  • Hindley-Milner typing for Abstract Types
  • Hindley-Milner typing for Domain Types
  • Hindley-Milner typing for Concrete Types
  • Template Type Inference
  • Generative Parameter Inference
  • Latency Count Inference
  • Let-syntax