JOHNSON G F について
Cornell Univ., New York について
WALZ J A について
Cornell Univ., New York について
Conference Record of the Annual ACM Symposium on Principles of Programming Languages について
ソフトウェア障害 について
ユニフィケーション について
その他のシステムプログラミング について
単一化 について
型推論 について
フロー について