トップ «前の日記(2005-05-26) 最新 次の日記(2005-05-29)» 月表示 編集

日々の流転


2005-05-28 [長年日記]

λ. Why Dependent Types Matter. Thorsten Altenkirch, Conor McBride, James McKinna

LtUより。2004-09-27の日記でも紹介したEpigramというHaskell風のdependent-typeをサポートした言語の話なんだけど、Epigram固有の話と言うよりはdependent-typeの有用性についての論文。面白い。

Future Work の Observational Type Theory に興味を惹かれる。僕も Intentional Type Theory と co-data の相性の悪さはうっすらと感じていたので、我が意を得たりという感じ。

Tags: 論文

λ. C110村

を読んだ。 超おすすめログ に載っているだけのことはある。色々勉強になった。

Tags: 人狼