-
Haskell Weekly News: July 16, 2008
The Haskell Sequence (Jul 16 2008) Explore Article
...buffers. Chris Kuklewicz announced a very early version of the protocol-buffers package, a Haskell interface to Google's newly released data interchange format. GHC IRC meeting. Simon Marlow announced the (first weekly?) IRC meeting to discuss GHC, a scheduled time when the develo... (Read Full Article)
Comment on Article Mentions: Dan Piponi Bryan O'Sullivan Ghc Api
-
Haskell Workshop 2007 - List of Accepted Papers
Java SSH for weill (Jun 30 2008) Explore Article
Haskell Workshop 2007 List of Accepted Papers Andy Gill and Colin Runciman. Haskell Program Coverage - Simon Marlow, José Iborra, Bernard Pope and Andy Gill. A Lightweight Interactive Debugger for Haskell - Wouter Swierstra and Thorsten Altenkirch. Beauty in the Beast: A Functional Semantics of the Awkw... (Read Full Article)
Comment on Article Mentions: Simon Peyton Jones Wouter Swierstra Emil Axelsson
-
Haskell Weekly News: June 25, 2008
The Haskell Sequence (Jun 25 2008) Explore Article
Haskell Weekly News: June 25, 2008 Welcome to issue 74 of HWN, a newsletter covering developments in the...... original paper describing the library. Jobs PhD position at University of Strathclyde, Glasgow. Simon Marlow announced, on behalf of Patricia Johann, an open PhD position in operational and categoric... (Read Full Article)
Comment on Article Mentions: Bryan O'Sullivan Patricia Johann Scheme
-
Neil Mitchell's Haskell Blog: Windows and Haskell
Neil Mitchell's Haskell Blog (Jun 22 2008) Explore Article
I use Haskell on Windows, and I always tend to feel like a second class citizen... Lots of things just don't work...... you have peace with executing Java-code in the first place. Microsoft already employs Simon PJ and Simon Marlow, so Microsoft has paid for the continuing development of GHC for a while now. I realise Linux has g... (Read Full Article)
Comment on Article Mentions: Cabal Simon Marlow Haskell
-
Re: Ghc for .net?: msg#00040
OSDir.com (Jun 20 2008) Explore Article
...ications. This is necessary if you're going to produce verifiable code. > The trouble here is that Haskell's type system is more expressive > than the CLR's in some ways, notably the use of higher-kinded > ......here was a Visual Studio integration for GHC. Substantial progress on this has been made in 2004 by Simon Marlow, Krasimir Angelov, and Andre Santos and colleagues. There may be others that I don't ... (Read Full Article)
Comment on Article Mentions: Don Syme Haskell Microsoft Research
-
Scrap Your Boilerplate: A Practical Design Pattern for Generic Programming
cs.vu.nl (May 28 2008) Explore Article
...uages. It makes essential use of rank-2 polymorphism, an extension found in some implementations of Haskell. Further it relies on a simple type-safe cast operator. specified department as spelled out in Se......owledgements We thank Nick Benton, Robert Ennals, Barry Jay, Johan Jeuring, Ralf Hinze, Tony Hoare, Simon Marlow, Riccardo Pucella, Colin Runciman, Joost Visser, and Stephanie Weirich for very helpful discussions... (Read Full Article)
Comment on Article Mentions: Tony Hoare Symbolic Computation Colin Runciman
-
A Supercompiler for Core Haskell
www-users.cs.york.ac.uk (May 19 2008) Explore Article
Neil Mitchell and Colin Runciman University of York, UK, http://www.cs.york.ac.uk/~ndm Abstract. Haskell is a functional language, with features such as higher order functions and lazy evaluation, which a......style, yet still perform competitively. Acknowledgements We would like to thank Simon Peyton Jones, Simon Marlow and Tim Chevalier for help understanding the low-level details of GHC, and Peter Jonsson for helpfu... (Read Full Article)
Comment on Article Mentions: Cambridge University Press Neil Mitchell Tony Hoare
-
Lightweight concurrency primitives for GHC
Microsoft Research Home (May 15 2008) Explore Article
Peng Li, Andrew Tolmach, Simon Marlow, and Simon Peyton Jones; submitted to Haskell Workshop 2007. * * Wiki talk page for discussion Abstract The Glasgow Haskell Compiler (GHC) has quite sophisticated support for concurrency in its runtime system, which is writ... (Read Full Article)
Comment on Article Mentions: Andrew Tolmach Simon Marlow Haskell
-
Writing High-Performance Server Applications in Haskell Case Study: A Haskell Web Server - Marlow (ResearchIndex)
citeseer.ist.psu.edu (May 12 2008) Explore Article
...lines of code, and secondly the naive implementation produced reasonable ... (Update) ...written in Haskell that relies heavily on concurrency, exceptions, and POSIX functionality. Especially, Simon Marlow s Web server has demonstrated that Haskell can lead to concise and elegant programs in this area. Maybe this is not surprising; after all, the... (Read Full Article)
Comment on Article Mentions: Haskell Simon Marlow Haskell Workshop
-
The Monad.Reader Issue 10
Haskell (Apr 8 2008) Explore Article
... you to all those who have worked so hard. References [1] Modern language design, stone age tools. haskell-1990-2006/msg17236.html. [2] Hat - the haskell tracer. www.haskell.org/hat/. [3] The glorious glasgow haskell compilation system user’s guide. www.haskell.org/ ghc/docs/latest/html/users_guide/. [4] Simon Marlow, Jos´ Iborra, Bernard Pope, and Andy Gill. A lightweight interactive e debugger for Haskell. In Haskell ’07: Proceedings of the ACM SIGPLAN workshop on Haskell, pages 13–24. ACM, New York, ... (Read Full Article)
Comment on Article Mentions: Acm Sigplan Lennart Augustsson Neil Mitchell
-
Type Classes Without Types
repository.readscheme.org (Apr 2 2008) Explore Article
...ric functions into coherent interfaces. This paper describes and discusses a mechanism, inspired by Haskell type classes, for implementing generic functions in Scheme that directly addresses the aforemention......0–181. ACM, ACM, August 1992. Manuel M. T. Chakravarty, Gabrielle Keller, Simon Peyton Jones, and Simon Marlow. Associated types with class. In POPL ’05: Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium o... (Read Full Article)
Comment on Article Mentions: Daniel P. Peter Thiemann Jean-Yves Girard
-
Simon Peyton Jones "Beautiful Concurrency"
Microsoft Research Home (Mar 17 2008) Explore Article
...blem in Polyphonic C#. Technical report, Microsoft Research, 2003. [3] Anthony Discolo, Tim Harris, Simon Marlow, Simon Peyton Jones, and Satnam Singh. Lock-free data structures using STMs in Haskell. In Eighth International Symposium on Functional and Logic Programming (FLOPS’06), April 2006. [4... (Read Full Article)
Comment on Article Mentions: Kathleen Fisher Herb Sutter Greg Wilson
-
A .net Bridge for Haskell: Dancing with the Devil
Java SSH for weill (Mar 16 2008) Explore Article
...ess, 2004. ISBN 1-58113-850-4. doi: http://doi.acm.org/10.1145/1017472.1017488. [15] Daan Leijen. wxhaskell. http://wxhaskell.sourceforge.net. Accessed: 28 October 2007. [16] Simon Marlow, Simon Peyton Jones, and Wolfgang Thaller. Extending the Haskell foreign function interface with concurrency. In Haskell ’04: Proceedings of the 2004 ACM SIGPLAN workshop on Haskell, pages 22–32, New York, NY, USA, 2004. ACM Press. [17] John McCarthy. LISP 1.5 Programmer’s Man... (Read Full Article)
Comment on Article Mentions: Benjamin C. Pierce Microsoft Research Erik Meijer
-
The Haskell 98 Foreign Function Interface 1.0 An Addendum to the Haskell 98 Report
Java SSH for weill (Mar 12 2008) Explore Article
...son, University of Melbourne Marcin Kowalczyk, Warsaw University Daan Leijen, University of Utrecht Simon Marlow, Microsoft Research, Cambridge Erik Meijer, Microsoft Corporation Sven Panne, BetaResearch GmbH Sim...... GmbH Simon Peyton Jones, Microsoft Research, Cambridge Alastair Reid, Reid Consulting (UK) Ltd The Haskell 98 Foreign Function Interface 1.0 An Addendum to the Haskell 98 Report Manuel Chakravarty , University of New South Wales Sigbjorn Finne, Galois Connections, In... (Read Full Article)
Comment on Article Mentions: Microsoft Research Manuel Chakravarty Alastair Reid
-
draft.pdf (application/pdf Object)
informatik.uni-freiburg.de (Mar 9 2008) Explore Article
... library and a 2000 line mail store management system). The library source is roughly 3700 lines of Haskell code. We have successfully integrated the WASH/CGI library with a Web server written in Haskell by Simon Marlow [24]. In this server, a WASH/CGI application can run like a servlet in its own thread. The integrat... (Read Full Article)
Comment on Article Mentions: Unicode Simon Marlow ACM Press
-
Monadic Memoization Mixins
cs.utexas.edu (Mar 5 2008) Explore Article
...guages and Systems, pages 230–244, London, UK, 2000. Springer-Verlag. [15] Simon L. Peyton Jones, Simon Marlow, and Conal Elliott. Stretching the storage manager: Weak pointers and stable names in haskell. In Implementation of Functional Languages, pages 37–58, 1999. [16] R. L¨ mmel. Reuse by Program... (Read Full Article)
Comment on Article Mentions: Peter Norvig Systems Erik Meijer
-
dow.ngra.de " Where is Scala heading?
dow.ngra.de (Mar 5 2008) Explore Article
...cientists, who are the benevolent dictators when it comes to choosing the language features. In the Haskell case it’s the Simon Marlow and Simon Peyton-Jones behind the GHC compiler along with a v Where is Scala heading? As I’m lear... (Read Full Article)
Comment on Article Mentions: Haskell Simon Marlow Martin Odersky
-
Where is Scala heading?
Scala Blog (Mar 4 2008) Explore Article
...cientists, who are the benevolent dictators when it comes to choosing the language features. In the Haskell case it's the Simon Marlow and Simon Peyton-Jones behind the GHC compiler along with a very active community with a lot of out... (Read Full Article)
Comment on Article Mentions: Martin Odersky Haskell Simon Marlow
-
Cool stuff: Composable memory transactions
Tom Moertel's Weblog (Mar 1 2008) Explore Article
...g world still has a few fundamental problems to solve. Thus I was impressed when I read Tim Harris, Simon Marlow, Simon Peyton Jones, and Maurice Herlihy’s paper on Composable memory transactions a couple of mo......ons a couple of months ago. The paper introduced some Very Cool Stuff (especially if you program in Haskell, for which there is an implementation available). More recently at the Links meeting at (another co... (Read Full Article)
Comment on Article Mentions: Tim Harris Maurice Herlihy Simon Marlow
-
Mohws
Index of / (Feb 19 2008) Explore Article
"This is a web server written in Haskell, based on Simon Marlow's original Haskell Web Server." Name Last modified Size Description Parent Directory - LICENSE 18-Oct-2007 09:49 1.5K ... (Read Full Article)
Comment on Article Mentions: Simon Marlow Haskell
-
Software transactional memory (stm) - Wikipedia, the free encyclopedia
Main Page (Feb 18 2008) Explore Article
...ueue up the irreversible operations and perform them at a later time outside of any transaction. In Haskell, this limitation is enforced at compile time by the type system. In 2005, Tim Harris, Simon Marlow, Simon Peyton Jones, and Maurice Herlihy described an STM system built on Concurrent Haskell that enables arbitrary atomic operations to be composed into larger atomic operations, a useful con... (Read Full Article)
Comment on Article Mentions: Microsoft Research Tim Harris Ennals
-
Feedback directed implicit parallelism
Microsoft Research Home (Feb 18 2008) Explore Article
...ement (ISMM ’00), volume 36(1) of ACM SIGPLAN Notices, pages 127–136, January 2001. Tim Harris, Simon Marlow, and Simon Peyton Jones. Haskell on a sharedmemory multiprocessor. In Haskell ’05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell, pages 49–61, September 2005. Danny Hendler, Yossi Lev, Mark Moir, and Nir Shavit. A dynamic-size... (Read Full Article)
Comment on Article Mentions: Tim Harris Ennals Simon Marlow
-
Control.Exception
Haskell (Feb 17 2008) Explore Article
...ils, see: * A semantics for imprecise exceptions, by Simon Peyton Jones, Alastair Reid, Tony Hoare, Simon Marlow, Fergus Henderson, in PLDI'99. * Asynchronous exceptions in Haskell, by Simon Marlow, Simon Peyton Jones, Andy Moran and John Reppy, in PLDI'01 (Read Full Article)
Comment on Article Mentions: Tony Hoare Simon Marlow Alastair Reid
-
ipdps_haskell_multiway.pdf (Objet application/pdf)
Microsoft Research Home (Feb 13 2008) Explore Article
A Deterministic Multi-Way Rendezvous Library for Haskell Nalini Vasudevan Department of Computer Science Columbia University New York, USA naliniv@cs.columb......ons to the next version of our library. Acknowledgments We would like to thank Simon Peyton Jones, Simon Marlow and Tim Harris of Microsoft Research for their valuable suggestions and feedback. This research was... (Read Full Article)
Comment on Article Mentions: Department of Computing Science Haskell Microsoft Research





