Comet Middleware Project A modular module systemのSurveyの補足 First-Class Structures for Starndard MLのSurveyの雑多なメモ Non-Dependent Types for Standard MLを読んで書いた雑多なメモ スライド集 リンク ......。 「ま」ってことにして vCard and vCalendar やることについてのメモとかリンクとか 卒業論文についてのメモ