Explore research at Microsoft, a site featuring the impact of research along with publications, products, downloads, and research careers.
Visit research.microsoft.com → RSS feedOn Hacker News Nov 2010 – Nov 2016
Software Engineering 5Hardware & Electronics 4Systems & Performance 2Society, Policy & Culture 2Science & Space 2Math & Algorithms 2
“The Implementation of Functional Languages” is a book about implementing functional programming languages using lazy graph reduction, and it divides into three parts. The first part describes how to translate a high-level functional language into an intermediate language, called the lambda calculus, incuding detailed…
By Janie Chang, Writer, Microsoft Research At Microsoft Research, there are computer scientists and mathematicians who live in a world of theory and abstractions. Then there is Nachi Nagappan, who was on loan to the Windows development group for a year while building a triage system for software bugs. For Nagappan, a…
Explore research at Microsoft, a site featuring the impact of research along with publications, products, downloads, and research careers.
I recently attended the Heidelberg Laureate Forum , in which some older researchers--mainly Fields Medalists and Turing Award winners--talked to and with young researchers. The young researchers ranged from a few students just entering university to young faculty members, most being graduate students. They came from…
This book gives a practical approach to understanding implementations of non-strict functional languages using lazy graph reduction. The book is intended to be a source of practical labwork material, to help make functional-language implementations `come alive’, by helping the reader to develop, modify and experiment…