1. 9
    DOT (Dependent Object Types) calculus and Scala video programming scala parleys.com
    BruceM avatar via BruceM 4 years ago | cached | 1 comment

  1.  

  2. 1
    soc avatar soc 4 years ago | link

    Will be very interesting to see how they solve the remaining issues mentioned in the talk!