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

Browse archivesActive forum topics 
Recent comments
1 hour 32 min ago
3 hours 9 min ago
3 hours 40 min ago
4 hours 23 min ago
6 hours 6 min ago
7 hours 31 min ago
9 hours 53 min ago
10 hours 1 min ago
11 hours 8 min ago
16 hours 48 min ago