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

Browse archivesActive forum topics 
Recent comments
2 hours 18 min ago
4 hours 17 min ago
10 hours 12 min ago
1 day 2 hours ago
1 day 11 hours ago
1 day 22 hours ago
2 days 4 min ago
2 days 13 min ago
2 days 1 hour ago
2 days 1 hour ago