エントリーの編集
![loading...](https://b.st-hatena.com/bdefb8944296a0957e54cebcfefc25c4dcff9f5f/images/v4/public/common/loading@2x.gif)
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
Draft for submission to Haskell 2012 Dependently Typed Programming with Singletons Richard A. Eisenberg University of Pennsylvania Philadelphia, PA, USA eir@cis.upenn.edu Stephanie Weirich University of Pennsylvania Philadelphia, PA, USA sweirich@cis.upe
記事へのコメント1件
- 注目コメント
- 新着コメント
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
![アプリのスクリーンショット](https://b.st-hatena.com/bdefb8944296a0957e54cebcfefc25c4dcff9f5f/images/v4/public/entry/app-screenshot.png)
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
Draft for submission to Haskell 2012 Dependently Typed Programming with Singletons Richard A. Eisenberg University of Pennsylvania Philadelphia, PA, USA eir@cis.upenn.edu Stephanie Weirich University of Pennsylvania Philadelphia, PA, USA sweirich@cis.upe
Draft for submission to Haskell 2012 Dependently Typed Programming with Singletons Richard A. Eis... Draft for submission to Haskell 2012 Dependently Typed Programming with Singletons Richard A. Eisenberg University of Pennsylvania Philadelphia, PA, USA eir@cis.upenn.edu Stephanie Weirich University of Pennsylvania Philadelphia, PA, USA sweirich@cis.upenn.edu Abstract Haskell programmers have been experimenting with dependent types for at least a decade, using clever encodings that push the limi