Strict types
  • Strict types
  • Type system
    • Data type algebra
    • Type semantics and layout
Powered by GitBook