Microsoft Research
Founded in 1991, Microsoft Research is dedicated to conducting both basic and applied research in computer science and software engineering. More than 1,000 brilliant scientists and engineers focus on more than 55 areas of computing and openly collaborate with leading academic, government, and industry researchers to advance the state of the art of computing, help fuel the long-term growth of Microsoft and its products, and solve some of the world’s toughest problems through technological innovation.
Microsoft Research has expanded over the years to seven countries worldwide and brings together the best minds in computer science to advance a research agenda based on an array of unique talents and interests. Microsoft Research operates in Redmond, Wash.; Cambridge, Mass.; New York City; Cambridge, U.K.; Beijing, China; and Bangalore, India; and also conducts research at the Advanced Technology Labs Cairo in Egypt; the Advanced Technology Labs Europe in Aachen, Germany; Advanced Technology Labs in Israel; FUSE Labs in Redmond; and Station Q in Santa Barbara, Calif.
-
F# eXchange Party with Pizza and Beer!
Join us for pizza, beer and plenty of discussion at the F# eXchange Party at the Skills Matter eXchange.
f# fsharpex -
Railway Oriented Programming
Featuring Scott Wlaschin
Join Scott Wlaschin who will explain how to create robust real world applications in a clean functional way through the analogy of the railway!
f# functional-programming -
Meta-Programming Madness with the Mixin Type Provider
Featuring Ross McKinlay
F#'s erasing type providers are a ground-breaking feature that (amongst other things) remove the need for a whole lot of boilerplate code which you would otherwise have to write or generate. Does this mean that you never have a need to generate code in F#? Of course it doesn't!...
f# functional-programming type-providers metaprogramming -
Type-Driven Development
Featuring Mark Seemann
The F# type system is both stronger and more flexible than the type system in e.g. C#. You can use this to your advantage to rapidly evolve a prototype. In this talk you'll see an example of how to evolve a Finite State Machine that solves a real problem, using the F# type system as a driver....
f# functional-programming types finite-state-machine -
Developing Open Source tooling with F#: the story of Visual F# Power Tools
Featuring Anh-Dung Phan
Tooling is often understood as a tricky and tedious area of software development. This talk discusses how F# makes tooling development fun again. In particular, we investigate a few F# features that are great for creating IDE extensions and report an experience on ensuring correctness at a large...
f# functional-programming .net -
Computation expression in context : a history of the otter king
Featuring Andrea Magnorsky
I heard that computation expressions are kind of like monads, I heard that monads are like burritos or space suits and that they are pretty much magical, I also heard that they are monoids in the category of endofunctors...
f# functional-programming gaming -
MBrace: harnessing the cloud with .NET
Featuring Nick Palladinos
MBrace is an open source cloud framework written in F#. In this talk we'll be describing the programming model in both F# and C# and demonstrating how one can seamlessly deploy large-scale computation in Azure.
mbrace f# functional-programming .net azure cloud -
Expression Oriented Programming with F#
Featuring Robert Pickering
This talk take a deep look at some of the basics of programming: expressions, statements, scope and how we represent data. We’ll look at these concepts to through the lens of a functional programmer to see how this, contrasts to the way an Object Oriented programmer might do things. We’ll look at...
f# functional-programming application-architecture -
F# and SignalR for a fast Web
Featuring Riccardo Terrell
F# is a fantastic modern cross-platform programming language that can be used to develop Web based solutions. In this session, we'll go over several features that F# provides to write simple yet high-performance web based solutions.
f# functional-programming web-development cqrs signalr