In English

Papers

• Kiwamu Okabe and Hongwei Xi. Arduino programing of ML-style in ATS. ML workshop, 2015.
• Kiwamu Okabe and Takayuki Muranushi. Systems Demonstration: Writing NetBSD Sound Drivers in Haskell. Haskell Symposium, 2014.

Technical Reports

• Kiwamu Okabe and Takayuki Muranushi. Metasepi Report: Writing NetBSD Sound Drivers in Haskell - A Reentrant Haskell Compiler for Operating Systems Programming, 2014.

In Japanese

Papers

• Kiwamu Okabe. ATS言語を使って不変条件をAPIに強制する. 夏のプログラミング・シンポジウム 2014, 2014.
• Kiwamu Okabe, Hiroki MIZUNO and Hidekazu SEGAWA. 強い型によるOSの開発手法の提案. 第55回プログラミング・シンポジウム, 2014.

Technical Reports

• Kiwamu Okabe. C言語ヘッダからのATS言語関数シグニチャの自動生成と段階的な線形型の導入, 2017.
• Kiwamu Okabe. ATS言語による組込アプケーションの検証. 第13回クリティカルソフトウェアワークショップ, 2015.
• Kiwamu Okabe. めたせぴ☆ふぁうんでーしょん. 簡約!? λカ娘 Go!, 2013.