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