Structural Subtyping

• Tin
  • 文法 lalrpop で作成されていた.
• 概要PDF: Subtyping Overview and Implementation
• GitHub - dflemstr/tin: A statically structurally typed JIT-compiled programming language, mainly for embedding in other programs.
• Haskell製toylang GitHub - jin/subtyping: An implementation of structural subtyping of records and functions