Modern programming languages and programming frameworks include
enormous libraries with tens of thousands of API entry points,
reducing large portions of application development to searching for
and composing already-written functionality. We aim to integrate
advanced search and code-completion functionality, specialied to
this task, into integrated development environments. We leverage the
rich type structure of modern statically typed languages to index
libraries and define queries in terms of partial expressions
.