Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
動画
F#: Putting the Fun into Functional Programming
Microsoft researchers discuss F# and the many usage sceniaros made available from the application. F# brings safe, succinct, efficient and expressive functional programming language on the .NET platform. It is a simple and pragmatic language,…
公開日
Partial Updates
動画
A Framework for Unrestricted Whole-Program Optimization
In current compilers, the vast majority of optimization routines operates within procedure boundaries. Since individual procedures do not usually present the ideal scope to optimization, significant performance enhancement opportunities are left unrealized. Although aggressive inlining…
