抄録
This paper presents an approach to completing variable names when writing programs in an implicitly typed functional language. As a first step toward developing practical systems, we considered a simple case: up to the cursor position the program text is given completely. With this assumption we specify a variable completion problem for an implicitly typed core functional language with let-polymorphism, and show an algorithm for solving the problem. Based on the algorithm we have implemented a variable name completion system for the language as an Emacs-mode.
| 本文言語 | English |
|---|---|
| ページ（範囲） | 127-163 |
| ページ数 | 37 |
| ジャーナル | Higher-Order and Symbolic Computation |
| 巻 | 25 |
| 号 | 1 |
| DOI | |
| 出版ステータス | Published - 2012 3月 |
ASJC Scopus subject areas
- ソフトウェア
- コンピュータ サイエンスの応用