ハシモト　マサトモ   Masatomo Hashimoto   橋本　政朋    所属   千葉工業大学  人工知能・ソフトウェア技術研究センター 人工知能・ソフトウェア技術研究センター    職種   主席研究員
言語種別	英語
発行・発表の年月	2000/03
形態種別	学術雑誌
査読	査読あり
標題	First-Class Contexts in ML
執筆形態	単著
掲載誌名	Foundations of Computer Science
掲載区分	国外
出版社・発行元	World Scientific
巻・号・頁	11(1),pp.65-87
概要	This paper develops an ML-style programming language with first-class contexts i.e. expressions with holes. The crucial operation for contexts is hole-filling. Filling a hole with an expression has the effect of dynamic binding or macro expansion which provides the advanced feature of manipulating open program fragments. This paper extends a simply typed system of the context calculus to an ML-style polymorphic type system, and gives an operational semantics and a sound and complete type inference algorithm.
DOI	10.1142/S0129054100000053
researchmap用URL	https://www.worldscientific.com/doi/abs/10.1142/S0129054100000053