ただいまの時間、有料のAPIを用いたまとめ作成が可能です。高度な期間指定検索を利用して作り忘れたまとめを残しておくチャンス!ぜひご利用ください。

matzにも解るよう、禅問答的に #ATS2 の型理論を説明してみたよ

禅問答的に #ATS2 の型理論 "Applied Type System" を説明してみたよ (参考文献: 静的な意味論 http://jats-ug.metasepi.org/doc/ATS2/INT2PROGINATS/x235.html )
masterq_mogumog 10386view 16コメント
15
ログインして広告を非表示にする
残りを読む(154)

コメント

カテゴリーからまとめを探す

「やってみた」に関連するカテゴリー

ログインして広告を非表示にする
ログインして広告を非表示にする