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…
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.…
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…
