@techreport{oai:ipsj.ixsq.nii.ac.jp:00020310,
 author = {市川, 哲彦 and Yoshihiko, Ichikawa},
 issue = {62(1994-DBS-099)},
 month = {Jul},
 note = {純枠な関数型プログラミング言語Haskell向けに，monadを用いた実行順序制御と多重定義関数を基本操作とするデータベース操作インターフェースを設計・実装した．データベース操作はすべてmonadによって制御されているので，参照透過である．また，基本操作をPersistent　classに関連付けられた多重定義関数として定義することにより，実装の詳細を隠蔽するデータ独立性を実現し，多様関数と静的型付けの利用とを可能にしている．, In this report, we describe the implementation of a simple database manipulation scheme for non-strict purely functional programming language Haskell. Evaluation of database actions is controlled in a monadic way. Hence, all database manipulations are referentially transparent. The primitive operations are defined as overloaded functions associated with a newly introduced class Persistent. The class hides all the implementation details to achieve data independence, and utilizes polymorphic functions and static type checking, which are the major features of the language.},
 title = {プログラミング言語Haskell上のデータベース操作インターフェイスの実装},
 year = {1994}
}