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 20060615 22:19  LtU Forum  previous forum topic  next forum topic  other blogs  8900 reads

Browse archivesActive forum topics 
Recent comments
2 weeks 22 hours ago
2 weeks 1 day ago
2 weeks 1 day ago
2 weeks 1 day ago
2 weeks 1 day ago
2 weeks 1 day ago
2 weeks 3 days ago
2 weeks 5 days ago
3 weeks 2 days ago
3 weeks 3 days ago