2007-07-12
(一般)
【にせんななねんしちがつじゅうにに】
週刊はてな発行日
このタグの解説について
この解説文は、すでに終了したサービス「はてなキーワード」内で有志のユーザーが作成・編集した内容に基づいています。その正確性や網羅性をはてなが保証するものではありません。問題のある記述を発見した場合には、お問い合わせフォームよりご連絡ください。ネットで話題
もっと見る
projectitoh.hatenadiary.org
debedebe.hatenadiary.org
terrazi.hateblo.jp
1470.net
rikuo.hatenablog.jp6ブックマークInemuri nezumi diary(2007-07-12)_ Simply Easy! We present an implementation in Haskell of a dependently-typed lambda calculus that can be used as the core of a programming language. We show that a dependently-typed lambda calculus is no more difficult to implement than other typed lambda calculi. In fact, our implementation is ...
madscientist.jp
madscientist.jp