Lambda the Ultimate
- Guest Blogger Erik Meijer http://www.research.microsoft.com/%7Eemeijer/ 8 comments Admin
- Spec# http://www.research.microsoft.com/specsharp/ 8 comments Software Engineering
- Nick Benton: Simple Relational Correctness Proofs for Static Analyses and Program Transformations http://www.research.microsoft.com/research/pubs/view.aspx?id=876&type=Technical+Report 2 comments Implementation , Semantics
- Composable memory transactions http://www.research.microsoft.com/%7Esimonpj/papers/stm/index.htm 15 comments Functional , Parallel/Distributed
- Scrap more boilerplate http://www.research.microsoft.com/~simonpj/papers/hmap/gmap2.htm 2 comments Functional
- A Research C# Compiler http://www.research.microsoft.com/scripts/pubs/view.asp?TR_ID=MSR-TR-2003-32 4 comments implementation
- Programming with Rectangles, Triangles, and Circles http://www.research.microsoft.com/~emeijer/Papers/XML2003/xml2003.html 15 comments xml
- Region-Based Model Abstraction http://www.research.microsoft.com/~rehof/publications.html#region 5 comments Software-Eng
- Unifying Tables, Objects and Documents http://www.research.microsoft.com/~emeijer/Papers/oopsla.pdf 18 comments xml
- How to make a fast curry: push/enter vs eval/apply http://www.research.microsoft.com/~simonpj/papers/eval-apply/ 0 comments implementation
- Wearing the hair shirt: a retrospective on Haskell http://www.research.microsoft.com/~simonpj/papers/haskell-retrospective/index.htm 7 comments functional
- Tackling the awkward squad http://www.research.microsoft.com/~simonpj/Papers/marktoberdorf/ 0 comments functional
- User-defined functions in Excel http://www.research.microsoft.com/~simonpj/papers/excel/index.htm 17 comments DSL
- Template metaprogramming for Haskell http://www.research.microsoft.com/~simonpj/papers/meta-haskell/ 6 comments functional
- A practical approach to generic programming http://www.research.microsoft.com/~simonpj/papers/hmap/ 4 comments functional
- Aspect-oriented compilers http://www.research.microsoft.com/~simonpj/Papers/aspects.ps.gz 0 comments functional
- Mondrian for .NET http://www.research.microsoft.com/~emeijer/Papers/MondrianDDJ.pdf 2 comments functional
- Bytecode translation http://www.research.microsoft.com/~cwfraser/pldi99codegen.pdf 0 comments
- Implementing Functional Languages (BUT...) http://www.research.microsoft.com/users/simonpj/Papers/student.ps.gz 3 comments