SEDEL Mar 6, 2019 Code Haskell implementation of a type system for first-class traits haskell type-system Xuan Bi Quantitative Developer Quantitative developer at Standard Chartered (Hong Kong) Publications Typed First-Class Traits Many dynamically typed languages (including JavaScript, Ruby, Python or Racket) support first-class classes, or related concepts such … Xuan Bi, Bruno C. d. S. Oliveira PDF Cite Project Slides
