Matthew Podwysocki

Browse by Tags

• F#
• Functional Programming
• Spec#
• User Groups

• DC ALT.NET - 5/22/2008 - Applying Lessons Learned from Lisp

  The May meeting of DC ALT.NET has been scheduled for May 22nd from 7-9PM. Check out our mailing list and site for more information as it becomes available. If you're in the Washington DC area, come check us out. This month, we're having Craig... Posted May 15 2008, 03:29 PM by Matthew.Podwysocki with | with no comments Filed under: ALT.NET, Functional Programming, User Groups

• Upcoming Functional Programming/F# Talks

  Well, I certainly have an ambitious May schedule ahead of me. Most of course will be revolving around functional programming and F# as it seems to be finally catching on. I've been noticing a bunch from the Java and Ruby communities becoming interested... Posted Apr 29 2008, 03:55 PM by Matthew.Podwysocki with | with 2 comment(s) Filed under: ALT.NET, F#, Functional Programming, User Groups

• Making Spec# a Priority

  During ALT.NET Open Spaces, Seattle, I spent a bit of time with Rustan Leino and Mike Barnett from the Spec# team at Microsoft Research. This was to help introduce Design by Contract (DbC) and Spec# to the ALT.NET audience who may not have seen it before... Posted Apr 28 2008, 07:16 PM by Matthew.Podwysocki with | with 7 comment(s) Filed under: ALT.NET, Spec#