Why Dependent Types Matter [2005](lambda-the-ultimate.org)1 ポイント·投稿者 stefano·15 年前·0 コメントlambda-the-ultimate.orgWhy Dependent Types Matter [2005]http://lambda-the-ultimate.org/node/6930 コメントコメントを投稿—