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

Takumi Goto, Isao Sasano

Browse the full PEPM paper archive.