サクサク読めて、アプリ限定の機能も多数!
トップへ戻る
災害への備え
personal.cis.strath.ac.uk/~adam
Adam Gundry, Conor McBride and James McKinna We consider the problems of first-order unification and type inference from a very general perspective on problem-solving, namely that of information increase in the problem context. This leads to a powerful technique for implementing type inference algorithms. We describe a unification algorithm and illustrate the technique by applying it to the famili
このページを最初にブックマークしてみませんか?
『personal.cis.strath.ac.uk』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く