Abstract | ||
---|---|---|
This paper presents an approach to completing variable names when writing programs in implicitly typed functional languages. 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. |
Year | DOI | Venue |
---|---|---|
2012 | 10.1145/2103746.2103771 | PEPM |
Keywords | Field | DocType |
variable name completion system,program text,variable completion problem,functional language,cursor position,core functional language,simple case,practical system,variable name,polymorphism,type inference | Programming language,Functional programming,Computer science,Theoretical computer science,Type inference,Variable (computer science),Cursor (user interface) | Conference |
Citations | PageRank | References |
2 | 0.46 | 11 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Takumi Goto | 1 | 2 | 0.46 |
Isao Sasano | 2 | 51 | 6.18 |