User loginNavigation |
Linear Types vs. Uniqueness TypingHaving a limited understanding of type theory, a question popped into my head. Linear types and Uniqueness seem to having a large number of striking similarities, but I imagine they are different in a few ways. Can someone help me understand the trade-offs when using one or the other (or can one use both?) in the development of programming languages? This of course could range from the difficulty of implementation, to expressiveness, to efficiency. Best regards, MJ Stahl By mjstahl at 2006-06-08 01:46 | LtU Forum | previous forum topic | next forum topic | other blogs | 10740 reads
|
Browse archivesActive forum topics |
Recent comments
7 weeks 2 days ago
7 weeks 4 days ago
7 weeks 5 days ago
14 weeks 5 days ago
20 weeks 3 days ago
20 weeks 4 days ago
21 weeks 3 days ago
24 weeks 1 day ago
25 weeks 4 days ago
25 weeks 4 days ago