User loginNavigation |
Linear & Dependent types of ATS applied to the Cairo graphics libraryI'm on the ATS mailing list, as I suspect other LtUers are, and saw this:
It seems like ATS is a pretty pragmatic / practical implementation of advanced type systems, from what little I've heard about systems which support such things. There's a paper about using ATS to implement Linux device drivers, for example. (If only ATS could talk to C++, or if only Felix was done, or if only C++ cough cough was different. :-) By raould at 2010-04-28 17:33 | LtU Forum | previous forum topic | next forum topic | other blogs | 6505 reads
|
Browse archives
Active forum topics
|
Recent comments
11 weeks 1 day ago
15 weeks 3 days ago
17 weeks 17 hours ago
17 weeks 17 hours ago
19 weeks 5 days ago
24 weeks 2 days ago
24 weeks 3 days ago
24 weeks 6 days ago
24 weeks 6 days ago
27 weeks 4 days ago