User loginNavigation |
Type DifferenceI've got two tuples Ta = (a0, a1, ..., aM) Tb = (a0, a1, ..., aN) With the subtyping relationship Ta <: Tb I am interested in referring to the type difference, and I was thinking of notating it as: Ta \ Tb = (aM, aM+1, ..., aN) Is there a standardized notation or language for referring to such a concept? By cdiggins at 2006-11-14 04:29 | LtU Forum | previous forum topic | next forum topic | other blogs | 38968 reads
|
Browse archives
Active forum topics
|
Recent comments
11 weeks 21 hours ago
15 weeks 2 days ago
17 weeks 19 min ago
17 weeks 23 min ago
19 weeks 4 days ago
24 weeks 2 days ago
24 weeks 2 days ago
24 weeks 5 days ago
24 weeks 5 days ago
27 weeks 3 days ago