(閉じる)

タグ :

コンピュータ・IT 16 users このエントリーをはてなブックマークに追加

Wadler: Monads

Philip Wadler The marriage of effects and monads Philip Wadler and Peter Thiemann. ACM Transactions on Computational Logic, 4(1):1-32, January 2003. Gifford and others proposed an effect typing discipline to delimit the scope of computational effects with... > このページを見る

最終更新時間: 2006年03月28日21時44分
▼ブログで紹介する

みんなのブックマーク 人気(0) 新着

このブックマーク一覧を非公開にするには?

はてなブックマークはオンラインでブックマークを管理・共有できる無料サービス。自宅、職場、外出先、どこからでも同じブックマークにアクセスできます。ユーザーはみんなでブックマークを共有して効率良く情報収集しています。あなたもはてなブックマークを始めてみませんか?

このエントリーを含む日記(1)