Re:Scala Center
by lmm on Thursday March 17, 2016 @08:17AM
(#11303877)
I think they model higher kinds as a special case of path-dependent types.
[ Parent
| on HN ]
There are no comments on this comment yet.