Toshiyuki Maeda, Akinori Yonezawa. Writing an OS Kernel in a Strictly and Statically Typed Language. In Véronique Cortier, Claude Kirchner, Mitsuhiro Okada, Hideki Sakurada, editors, Formal to Practical Security - Papers Issued from the 2005-2008 French-Japanese Collaboration. Volume 5458 of Lecture Notes in Computer Science, pages 181-197, Springer, 2009. [doi]
Abstract is missing.