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

Isao Sasano Takumi Goto

Published in: High. Order Symb. Comput. (2012)

Keyphrases

expressive power
higher order
functional language
lambda calculus
language independent
cross lingual
language identification
functional analysis
keywords
named entities
query translation
text summarization
target language
fixed order
syntactic and semantic dependencies