November, 2010 - Brandon Werner - Site Home - MSDN Blogs

Brandon Werner

Extending the magic of software to the cloud
  • Brandon Werner

    Generative Type Abstraction and Type-level Computation

    I haven’t had lunch with Simon for awhile (it’s hard since he’s in Cambridge and only visits main campus occasionally) but he publishes papers at an amazing pace, and every time his language, Haskell, and the world gets a lot smarter. Here he introduces the concept of “roles” to aid in the problems that occur with type-level computation. Generative Type Abstraction and Type-level Computation (Extended Version) , by Simon Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, Steve Zdancewic: Modular...
  • Brandon Werner

    What I’ve Been Working On: Office365 in Beta!

    Use to be at Microsoft products had predictable release cycles. Released in “waves”, you could anticipate a period of creativity and envisioning at the beginning, a period of hard work coding and hacking in the middle (this is when you sleep in your office), and a period of release and downtime often accompanied with a ship party. Around this time most PMs and architects were already busy doing the envisioning for the next wave, but mostly you kicked back and had a life for a little while...
Page 1 of 1 (2 items)

November, 2010