Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
New Directions in Computer Science
Computer science is undergoing a fundamental change. Over the last 40 years the field was concerned with making computers useful. Focus was on programming languages, compilers, operating systems, data structures and algorithms. These are still…
Modular and Verified Automatic Program Repair
F# at Microsoft Research
F# is a succinct, expressive, and efficient functional and object-oriented language for Microsoft .NET that helps you write simple code to solve complex problems. These pages are the historical home of F# at Microsoft Research.…
The F# 3.0 Language Specification
9.5 Theses on the Power and Efficacy of Gamification
“Gamification” is: hot, hyped, oversold, misunderstood, unavoidable, a buzzword, a question mark, a quick fix, a huge unfulfilled potential. In the past two years, the notion of infusing digital products and services with game elements…
