User loginNavigation |
Question about the Scalina calculusThis is the calculus introduced in the "Safe Type-level Abstractions in Scala" paper, and also used in "Generics of a Higher Kind." When I read the latter paper I saw something confusing, and just today I re-read the earlier paper to confirm that it contains the same thing. In the rules for type expansion (Figure 7 in the paper I linked above), in the X_SEL case, one of the premises is (excuse my attempt to format this with ASCII): Gamma |- [x -> T]S << R
From what I understand, I wouldn't be surprised if I am missing some detail in the paper, so if anybody with a better understanding could point me in the right direction, I'd appreciate it. Edit: Gamma, x : T |- S << R By Tess Foley at 2009-12-16 05:23 | LtU Forum | previous forum topic | next forum topic | other blogs | 3951 reads
|
Browse archives
Active forum topics |
Recent comments
20 weeks 6 days ago
20 weeks 6 days ago
20 weeks 6 days ago
43 weeks 18 hours ago
47 weeks 2 days ago
48 weeks 6 days ago
48 weeks 6 days ago
51 weeks 4 days ago
1 year 4 weeks ago
1 year 4 weeks ago