サクサク読めて、アプリ限定の機能も多数!
subtypingの解説が追記されている。こういう記述だけでも書いてもらえると非常にためになるなあ。
sshi のブックマーク 2006/04/10 09:03
Type-Based Analyses - sumiiのブログ[言語理論]subtypingの解説が追記されている。こういう記述だけでも書いてもらえると非常にためになるなあ。2006/04/10 09:03
このブックマークにはスターがありません。 最初のスターをつけてみよう!
sumii.hatenablog.com2006/04/10
ちょっと前に「subtypingはプログラム解析でも有用」みたいなことを書きましたが、たとえば(やや古いですが) http://www.cs.ucla.edu/~palsberg/tba/ にあるような、型を応用したプログラム解析(type-based an...
2 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /
subtypingの解説が追記されている。こういう記述だけでも書いてもらえると非常にためになるなあ。
このブックマークにはスターがありません。
最初のスターをつけてみよう!
Type-Based Analyses - sumiiのブログ
ちょっと前に「subtypingはプログラム解析でも有用」みたいなことを書きましたが、たとえば(やや古いですが) http://www.cs.ucla.edu/~palsberg/tba/ にあるような、型を応用したプログラム解析(type-based an...
2 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /