:: U Combinator

U Combinator is a research group in the School of Computing at the University of Utah. We research and develop advanced languages, compilers and tools to improve the performance, parallelism, security and correctness of software.

Members

• Matt Might (Faculty)
• Christopher Earl (Ph.D. Student)
• Trevor Whitlock (Ph.D. Student)
• Tarun Prabhu (M.S. Student)
• J.T. Olds (M.S. Student)

Public access

We have a public code repository hosted on Google Code.

Member access

U Combinator members, check out the research repository:

  svn checkout https://www.ucombinator.org/svn/ucombinator/
    

Also, sign up for the Google group:

U Combinator

Visit this group

Why the name U Combinator?

In the theory of programming languages, the U combinator, U, is the mathematical function that applies its argument to its argument; that is U(f) = f(f), or equivalently, U = λ f . f(f).

Self-application permits the simulation of recursion in the λ-calculus, which means that the U combinator enables universal computation. (The U combinator is actually more primitive than the more well-known fixed-point Y combinator.)

The expression U(U), read U of U, is the smallest non-terminating program, and U of U is also the local short-hand for the University of Utah.