1,185 followers
@ctford @biboudis Scala's path dependent types http://t.co/av8RgR5LQs and predicate dispatch http://t.co/8u5mUSlLVA sound close
@ctford @biboudis Scala's path dependent types http://t.co/av8RgR5LQs and predicate dispatch http://t.co/8u5mUSlLVA sound close