User loginNavigation |
Applied Type System vs. EpigramThere's been much discussion of Epigram, but I have yet to see much discussion of Applied Type System. There have been a few stories here on LTU, but relatively little discussion. This surprises me as ATS seems quite advanced. As a relative newcomer to type theory, I'm interested in the relative merits of ATS vs. Epigram vs. any other dependently typed languages that might exist. From my understanding, Epigram is a Pure Type System that seeks to unify types and terms, where ATS distinguishes the statics and dynamics of the language. What benefits and limitations do these approaches have on complexity for both developer and implementor? By naasking at 2006-06-15 22:19 | LtU Forum | previous forum topic | next forum topic | other blogs | 11108 reads
|
Browse archives
Active forum topics |
Recent comments
32 weeks 6 days ago
33 weeks 3 hours ago
33 weeks 3 hours ago
1 year 3 weeks ago
1 year 7 weeks ago
1 year 8 weeks ago
1 year 8 weeks ago
1 year 11 weeks ago
1 year 16 weeks ago
1 year 16 weeks ago