@online{huang2025typing,
  author       = {Huang, Xuanqiang Angelo},
  title        = {Typing and Subtyping},
  date         = {2025-11-11},
  organization = {Xuanqiang Angelo Huang's Blog},
  url          = {https://flecart.github.io/notes/typing-and-subtyping/},
  langid       = {english},
  abstract     = {We first start with some design goals for the language Language Design Principles \# Simplicity Syntax and semantics can easily be understood by users and implementers of the language Expressiveness : Language can (easily) express complex processes and structures, conflicting with}
}