1. A computer-implemented method comprising: receiving a request for information associated with one or more available operating system interfaces; obtaining the information associated with the one or more available operating system interfaces, the operating system interfaces being described using an abstract type system; determining one or more abstract types associated with the one or more available operating system interfaces; and mapping individual determined abstract types to individual respective types associated with at least one specific programming language.