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

Browse archivesActive forum topics 
Recent comments
3 hours 40 min ago
4 hours 17 min ago
5 hours 35 min ago
5 hours 48 min ago
9 hours 57 min ago
10 hours 43 min ago
10 hours 43 min ago
16 hours 56 min ago
17 hours 19 min ago
17 hours 38 min ago