Matthew Danish and
Hongwei Xi, Operating System Development with ATS. In the
Proceedings of International Workshop on Programming Languages Meets
Program Verification (PLPV'10), Madrid, Spain, January, 2010.
(bibtex)
(pdf)
(ps)