1. 3
    Elm 0.7 - Extensible Records compsci elm web elm-lang.org
    andymatuschak avatar via andymatuschak 5 years ago | cached | 1 comment
  2. 1
    Rust: Function and Object Types compsci rust smallcultfollowing.com
    andymatuschak avatar via andymatuschak 5 years ago | cached | 1 comment
  3. 1
    An experiment about static and dynamic type systems: doubts about the positive impact of static type pdf compsci cs.washington.edu
    andymatuschak avatar via andymatuschak 5 years ago | cached | 2 comments
  4. 2
    Algorithmic Debugging of SQL Views ☶ pdf compsci databases federwin.sip.ucm.es
    andymatuschak avatar via andymatuschak 5 years ago | cached | no comments