User loginNavigation |
Adding Type Constructor Parameterization to JavaVincent Cremet and Philippe Altherr: Adding Type Constructor Parameterization to Java, JOT vol. 7, no. 5.
FGJω is a simple extension of (Featherweight) Java's generics, where type parameters may be type constructors (functions from types to types). This very readable paper finally made me understand GADTs. (Previously: Generics of a Higher Kind on Scala's support for the same idea.) By Manuel J. Simoni at 2010-05-24 20:49 | Software Engineering | Type Theory | other blogs | 23613 reads
|
Browse archives
Active forum topics |
Recent comments
17 weeks 14 hours ago
17 weeks 14 hours ago
17 weeks 14 hours ago
23 weeks 1 day ago
1 year 11 weeks ago
1 year 11 weeks ago
1 year 11 weeks ago
1 year 33 weeks ago
1 year 37 weeks ago
1 year 39 weeks ago