User loginNavigation 
Combining Theorem Proving and ProgrammingJust as there's been work by Connor Mcbride on Epigram, there has been work by Hongwei Xi on ATS (previously mentioned on LTU). In one of his most recent papers, to appear at ICFP 05, a type system for a language which includes proof development facilities in the type system is presented . This work has an advantage of his previous work with DML in that type system is more expressive. By carter at 20050907 15:16  LtU Forum  previous forum topic  next forum topic  other blogs  5873 reads

Browse archivesActive forum topics 
Recent comments
1 week 1 day ago
1 week 2 days ago
1 week 2 days ago
2 weeks 5 days ago
2 weeks 5 days ago
2 weeks 6 days ago
2 weeks 6 days ago
2 weeks 6 days ago
2 weeks 6 days ago
2 weeks 6 days ago