Normalisation by Evaluation is a technique to efficiently compute the normal form of, possibly open, lambda terms with respect to beta reduction and rewrite rules. It works by compiling terms into ...

Explore research at Microsoft, a site featuring the impact of research along with publications, products, downloads, and research careers.

Want to Give MySong a Try? MySong is now Songsmith; you can download a free trial (or the full version, if you’re a teacher who wants to use it in your classroom) at: Most folks never get a chance to ...

Get to know Microsoft researchers and engineers who are tackling complex problems across a wide range of disciplines. Visit the Microsoft Emeritus Researchers page to learn about those who have made ...

My name is Wei Chen (陈 卫). I am a Principal Researcher at Microsoft Research Asia (opens in new tab), and the Chair of MSR Asia Theory Center (opens in new tab). I have served as Adjunct or Guest ...

The Internet Graphics Group’s research activities focus mainly on graphics systems, graphics platforms, and game technologies. The group leverages its extensive research expertise to create cutting ...