Publication
Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Video
Programming in the Era of Cloud, Data and Devices, F# 3.0 Information Rich Programming
Advances in programming languages are placing powerful, programmatic problem-solving tools in the hands of analytical programmers, But programming today exhibits a voracious appetite for information, and, even though our languages are wonderfully interoperable, they are…
Event
Software Summit 2011
Microsoft Research hosted this event to bring together thought leaders from academia, research labs, funding agencies, and Microsoft to discuss the state of software research and development. More than 200 leading European computer scientists attended…
Video
TUTORIAL: The Future of F#: Taming the Data Deluge with a Strongly Typed Functional Programming Language
This tutorial will teach F# from several angles. The advanced features of F#, including asynchronous and parallel programming and units of measure The language feature that underlies F# asynchronous programming and its relation to the…
Publication
The F# 2.0 Language Specification
Publication