Publication Reasoning about Systems with Transition Fairness Benjamin Aminof, Thomas Ball, Orna Kupferman MSR-TR-2004-89 | September 2004
Publication Shrinking Reductions in SML.NET Nick Benton, Andrew Kennedy, Sam Lindley, Claudio Russo IFL’04 Proceedings of the 16th international conference on Implementation and Application of Functional Languages, Lübeck, Germany | September 2004 ISBN: 3-540-26094-3
Publication Graphical Model Approach to Pitch Tracking Xiao Li, Jonathan Malkin, Jeff Bilmes 8th International Conference on Spoken Language Processing | September 2004
Publication Extending the Haskell Foreign Function Interface with Concurrency Simon Marlow, Simon Peyton Jones Proceedings of the ACM SIGPLAN workshop on Haskell | September 2004
Publication XRing: Achieving High-Performance Routing Adaptively in Structured P2P Zheng Zhang, Qiao Lian, Yu Chen MSR-TR-2004-93 | September 2004
Publication Spatial Recognition and Grouping of Text and Graphics Michael Shilman, Paul Viola September 2004
Publication Contextual Method for the Re-design of Existing Software Products Rachel Jones, Natasa Milic-Frayling, Kerry Rodden, Adam Blackwell MSR-TR-2004-96 | September 2004
Publication Recognition and Grouping of Handwritten Text in Diagrams and Equations Michael Shilman, Paul Viola, Kumar Chellapilla September 2004
Publication How to make a fast curry: push/enter vs eval/apply Simon Peyton Jones International Conference on Functional Programming | September 2004
Publication Adventures in Interoperability: The SML.NET Experience Nick Benton, Andrew Kennedy, Claudio Russo PPDP ’04 Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming | August 2004 ISBN: 1-58113-819-9
