199年度計算機言語論の講義（小林担当分）に関連する文献

型システムに関する一般的なサーベイ

• Luca Cardelli and Peter Wegner, "On Understanding Types, Data Abstraction, and Polymorphism," ACM Computing Surveys, vol.17, no.4, 1986.

型情報に基づくレコードのコンパイル

• Atsushi Ohori, "A polymorphic record calculus and its Compilation," ACM Transactions on Programming Languages and Systems, Vol.17, No.6, pp.844-895, 1995.

多相型言語における型を利用した効率のよいデータ表現

• Greg Morrisett, "Compiling with Types," PhD Thesis, CMU, 1995 (Published as a CMU technical report CML-CS-96-176).
• Xavier Leroy, "Unboxed objects and polymorphic typing," ACM SIGACT/SIGPLAN Symposium on Principles of Programming Languages (POPL), 1992.
• J. Goubault, "Generalized boxing, congruences and partial inlining," International Static Analysis Symposium (SAS'94), Springer LNCS 864, 1994.
• Z. Shao and A. Appel, "A type-based compiler for Standard ML," ACM SIGPLAN Conference on Programming Language Design and Implementation, 1995.
• D. Tarditi, G. Morrisett, P. Cheng, C. Stone, R. Harper, P. Lee, "TIL: a type-directed optimizing compiler for ML," ACM SIGPLAN Conference on Programming Language Design and Implementation, 1996.
• Z. Shao, "Flexible representation analysis," International Conference on Functional Programming, 1997.

型を利用したGarbage Collection

• Greg Morrisett, "Compiling with Types," PhD Thesis, CMU, 1995 (Published as a CMU technical report CML-CS-96-176).
• Greg Morrisett, Matthias Felleisen, and Robert Harper, "Abstract Models of Memory Management," 1995 Conf. on Functional Programming Languages and Computer Architecture. Extended version published as CMU Technical Report CMU-CS-95-110, (dvi version) also as CMU Fox Note CMU-CS-95-01.

線形型

• David N. Turner and Philip Wadler and Christian Mossin, "Once Upon A Type," Proceedings of Functional Programming Languages and Computer Architecture, 1995
• Naoki Kobayashi, "Quasi-Linear Types," ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp.29-42, 1999.
• Henry Baker, "Lively Linear Lisp -- Look Ma, No Garbage!," ACM SIGPLAN Notices, 27(8), pp.89-98, 1992.

リージョン推論に基づくメモリ管理

• ML Kit with Regions ホームページ
• Mads Tofte and Jean-Pierre Talpin, "Implementing the call-by-value lambda-calculus using a stack of regions," ACM SIGPLAN-SIGACT Symposium on Principles of Programming, pp.189-201, 1994
• Lars Birkedal and Mads Tofte and Magnus Vejlstrup, "From Region Inference to von Neumann Machines via Region Representation Inference," ACM SIGPLAN-SIGACT Symposium on Principles of Programming, pp.171-183, 1996

型推論とデータフロー解析の関係

• Nevin Heintze, "Control-Flow Analysis and Type Systems," Static Analysis Symposium (SAS'95), Springer LNCS 983, pp.189-206, 1995.
• Jens Palsberg, Patrick O'Keefe, "A Type System Equivalent to Flow Analysis," SIGPLAN-SIGACT Symposium on Principles of Programming, pp.367-378, 1995

オブジェクトの型に関する論文

• William R. Cook, Walter L. Hill, and Peter S. Canning, "Inheritance is not subtyping," ACM SIGPLAN/SIGACT Symposium on Principles of Programming Languages (POPL'90), 1990.
• Kim B. Bruce, Luca Cardelli, and Benjamin C. Pierce, "Comparing Object Encodings," TACS'97, Springer LNCS 1281, 1997. （とそれから参照されている論文）

並行プログラミング言語の核となる計算モデル(特にPi-Calculus)早わかり （レポート課題の対象論文からははずします）

• Benjamin Pierce, " Foundational Calculi for Programming Languages," CRC Handbook of Computer Science and Engineering, 1996

並行プログラミング言語の型に関する論文

• 送受信を区別する型システム
  • Benjamin Pierce and Davide Sangiorgi, "Typing and Subtyping for Mobile Processes," Mathematical Structures in Computer Science, vol.6, no.5, pp409-454, 1996 (Summary is also in Proceedings of IEEE Symposium on Logic in Computer Science (LICS'93))
• 送受信の回数を考慮した型システム
  • Naoki Kobayashi, Benjamin Pierce, and David Turner, "Linearity and the Pi-Calculus," ACM Transactions on Programming Languages and Systems, to appear. (Summary is also in Proceedings of ACM SIGPLAN/SIGACT Symposium on Principles of Programming Languages (POPL'96)).
  • Atsushi Igarashi and Naoki Kobayashi, "Type Reconstruction for Linear Pi-Calculus with I/O Subtyping," submitted to Information and Computation (Summary is also in Proceedings of Fourth International Static Analysis Symposium (SAS'97), Springer LNCS 1302, pp.187-201.
• デッドロックの可能性も考慮した型システム
  • Naoki Kobayashi, "A Partially Deadlock-Free Process Calculus," ACM Transactions on Programming Languages and Systems, vol.20, no.2, pp.436-482, 1998.
  • Eijiro Sumii and Naoki Kobayashi, "A Generalized Deadlock-Free Process Calculus," International Workshop on High-Level Concurrent Languages (HLCL'98), 1998.