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  5490 reads

Browse archivesActive forum topics 
Recent comments
5 hours 38 min ago
6 hours 39 min ago
14 hours 19 min ago
1 day 11 hours ago
1 day 17 hours ago
2 days 10 hours ago
2 days 11 hours ago
2 days 12 hours ago
2 days 12 hours ago
2 days 12 hours ago