An approach to completing variable names for implicitly typed functional languages

Isao Sasano, Takumi Goto

Research output: Contribution to journalArticle

Abstract

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.

Original languageEnglish
Pages (from-to)1-37
Number of pages37
JournalHigher-Order and Symbolic Computation
DOIs
Publication statusAccepted/In press - 2013

Fingerprint

Polymorphism

Keywords

  • Emacs-mode
  • Polymorphic language
  • Type inference
  • Variable name completion

ASJC Scopus subject areas

  • Software
  • Computer Science Applications

Cite this

An approach to completing variable names for implicitly typed functional languages. / Sasano, Isao; Goto, Takumi.

In: Higher-Order and Symbolic Computation, 2013, p. 1-37.

Research output: Contribution to journalArticle

@article{df4c46d6a76d4710b41abd62155ef647,
title = "An approach to completing variable names for implicitly typed functional languages",
abstract = "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.",
keywords = "Emacs-mode, Polymorphic language, Type inference, Variable name completion",
author = "Isao Sasano and Takumi Goto",
year = "2013",
doi = "10.1007/s10990-013-9095-x",
language = "English",
pages = "1--37",
journal = "LISP and Symbolic Computation",
issn = "1388-3690",
publisher = "Springer Netherlands",

}

TY - JOUR

T1 - An approach to completing variable names for implicitly typed functional languages

AU - Sasano, Isao

AU - Goto, Takumi

PY - 2013

Y1 - 2013

N2 - 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.

AB - 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.

KW - Emacs-mode

KW - Polymorphic language

KW - Type inference

KW - Variable name completion

UR - http://www.scopus.com/inward/record.url?scp=84881338399&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84881338399&partnerID=8YFLogxK

U2 - 10.1007/s10990-013-9095-x

DO - 10.1007/s10990-013-9095-x

M3 - Article

SP - 1

EP - 37

JO - LISP and Symbolic Computation

JF - LISP and Symbolic Computation

SN - 1388-3690

ER -