< Previous Terms | Terms Containing type class | Next Terms > |
Tymshare, Inc. type type-ahead type-ahead search type assignment |
class D Gofer Haskell User's Gofer System Isabelle |
typed lambda-calculus TypedProlog typeface type inference type scheme |