An approach to completing variable names for implicitly typed functional languages.

Takumi Goto Isao Sasano

Published in: PEPM (2012)

Keyphrases

expressive power
higher order
functional language
language independent
functional analysis
language identification
data sets
first order logic
multi lingual
lambda calculus
functional programming
indian languages
target language
keywords
social networks
information retrieval
databases