| | The Implementation of Functional Programming Languages (1987) (research.microsoft.com) |
| 2 points by CDSlice on Jan 11, 2019 | past |
|
| | Improving the world's most popular functional language: Excel (2003) (research.microsoft.com) |
| 3 points by Tomte on Nov 18, 2018 | past |
|
| | The TLA Home Page (research.microsoft.com) |
| 4 points by Tomte on Nov 15, 2018 | past |
|
| | Project Natick – Underwater datacenter with live cameras (research.microsoft.com) |
| 81 points by kerng on Aug 13, 2018 | past | 33 comments |
|
| | Microsoft's undersea datacenter has live webcams now (research.microsoft.com) |
| 19 points by whalesalad on Aug 10, 2018 | past | 5 comments |
|
| | Live feed from Microsoft's underwater data center (research.microsoft.com) |
| 5 points by merqurio on Aug 9, 2018 | past | 1 comment |
|
| | Improving the world's most popular functional language: Excel (2003) (research.microsoft.com) |
| 1 point by Tomte on June 7, 2018 | past |
|
| | The TLA Home Page (research.microsoft.com) |
| 2 points by Tomte on May 25, 2018 | past | 1 comment |
|
| | Improving the world's most popular functional language: Excel (2003) (research.microsoft.com) |
| 1 point by Tomte on Dec 1, 2017 | past |
|
| | The TLA Home Page (research.microsoft.com) |
| 1 point by Tomte on Nov 18, 2017 | past |
|
| | Improving the world's most popular functional language: Excel (2003) (research.microsoft.com) |
| 2 points by Tomte on July 30, 2017 | past |
|
| | The TLA Home Page (research.microsoft.com) |
| 1 point by Tomte on July 8, 2017 | past |
|
| | Improving the world's most popular functional language: Excel (2003) (research.microsoft.com) |
| 2 points by Tomte on April 23, 2017 | past | 2 comments |
|
| | The TLA Home Page (research.microsoft.com) |
| 1 point by Tomte on March 5, 2017 | past |
|
| | Implementing functional languages: a tutorial (research.microsoft.com) |
| 4 points by jasim on Feb 2, 2017 | past |
|
| | Towards Haskell in the Cloud (2011) [pdf] (research.microsoft.com) |
| 4 points by bootload on Jan 2, 2017 | past |
|
| | Computation and State Machines (2008) [pdf] (research.microsoft.com) |
| 97 points by tosh on Dec 11, 2016 | past | 24 comments |
|
| | Improving the world's most popular functional language: Excel (2003) (research.microsoft.com) |
| 1 point by Tomte on Nov 24, 2016 | past |
|
| | Time, Clocks, and the Ordering of Events in a Distributed System [pdf] (research.microsoft.com) |
| 5 points by tosh on Nov 20, 2016 | past |
|
| | Why Don't Computer Scientists Learn Math? (research.microsoft.com) |
| 135 points by nkurz on Nov 19, 2016 | past | 193 comments |
|
| | Quickr: Lazily Approximating Complex AdHoc Queries in BigData Clusters [pdf] (research.microsoft.com) |
| 2 points by luu on Nov 11, 2016 | past |
|
| | What really happened on Mars? (research.microsoft.com) |
| 2 points by old_sound on Nov 3, 2016 | past |
|
| | Computer Scientists Don't Learn Math (research.microsoft.com) |
| 3 points by kercker on Nov 2, 2016 | past |
|
| | Microsoft Concept Graph (research.microsoft.com) |
| 481 points by uyoakaoma on Nov 2, 2016 | past | 100 comments |
|
| | Buridan’s Principle (2012) [pdf] (research.microsoft.com) |
| 1 point by syastrov on Oct 30, 2016 | past |
|
| | Microsoft Concept Graph and Concept Tagging Release (research.microsoft.com) |
| 1 point by kercker on Oct 28, 2016 | past |
|
| | The TLA Home Page (research.microsoft.com) |
| 2 points by Tomte on Oct 20, 2016 | past |
|
| | A reflection on types [pdf] (research.microsoft.com) |
| 2 points by adamnemecek on Oct 2, 2016 | past |
|
| | Microsoft Research – Exploding Software-Engineering Myths (research.microsoft.com) |
| 2 points by wampler on Sept 22, 2016 | past |
|
| | Teaching Concurrency (2009) [pdf] (research.microsoft.com) |
| 151 points by luisfoliv on Sept 21, 2016 | past | 44 comments |
|
|
| More |
