Related Entities
history.pdf (application/pdf Object)
9 articles also mentioned Haskell
history.pdf (application/pdf Object)
6 articles also mentioned Simon Peyton Jones
history.pdf (application/pdf Object)
4 articles also mentioned Glasgow Haskell Compiler
history.pdf (application/pdf Object)
4 articles also mentioned Computer Architecture
history.pdf (application/pdf Object)
3 articles also mentioned University of York
history.pdf (application/pdf Object)
3 articles also mentioned Chalmers University of Technology
Programmable Concurrency in Pure and Lazy Languages
3 articles also mentioned Science of Computer Programming
-
Mentioned In 9 Articles
-
icfp05.pdf (application/pdf Objeto)
TheCAT (Jun 20 2008) Explore Article
... which we call H (for “Hardware”). H should be thought of as a specialized version of the usual Haskell IO monad, property StateGetGet get property StateSetSet set = {do x<-get; y<-get; return x} === {do... (Read Full Article)
Comment on Article Mentions: University of York Intel House
-
Dotnet library and tools
Galois, Inc. (Jun 20 2008) Explore Article
...d .NET class The Dotnet library provides experimental support for creating new classes that wrap up Haskell IO actions: defineClass :: Class -> IO (Object b) data Class = Class String -- type/class name... (Read Full Article)
Comment on Article Mentions: Haskell IO Haskell
-
Haskell IO for Imperative Programmers
fp freely (May 28 2008) Explore Article
...y goal is to help experienced procedural programmers make the transition to Haskell, not to provi Haskell IO for Imperative Programmers Resurrected from the Internet Archive. My series on writing a search e... (Read Full Article)
Comment on Article Mentions: Haskell IO Haskell Erik Meijer
-
mpc08.pdf (application/pdf Object)
TUD - Theoretische Informatik (Apr 4 2008) Explore Article
...el in the incarnation of [11], our “magically improvable” variant of it, or indeed the standard Haskell IO monad. 5 Related Work In this section we relate our work to two other strands of recent work tha... (Read Full Article)
Comment on Article Mentions: Haskell IO Sheard International Conference on Functional Programming
-
Code Poetry: More on Haskell IO and interact
Code Poetry (Mar 2 2008) Explore Article
..., learn and find. Warning: I reserve the right to change my mind. Friday, February 16, 2007 More on Haskell IO and interact This post is in response the blog entry IO doesn't Matter... and sort of boostraps thi... (Read Full Article)
Comment on Article Mentions: Haskell IO Haskell IO Monad
-
FringeDC informal meeting
blog :: Brent -> [String] (Feb 10 2008) Explore Article
...ory computer science pedagogy, continuation-based web applications, the possibility of breaking the Haskell IO monad into more restricted subsets of effects, and Arc. (I still think Arc is kind of silly, but We... (Read Full Article)
Comment on Article Mentions: Haskell Haskell IO Conrad Barski
-
house.pdf (application/pdf Object)
Thomas Hallgren at OGI (Jan 28 2008) Explore Article
... which we call H (for “Hardware”). H should be thought of as a specialized version of the usual Haskell IO monad, property StateGetGet get property StateSetSet set = {do x<-get; y<-get; return x} === {do... (Read Full Article)
Comment on Article Mentions: University of York Intel House
-
Programmable Concurrency in Pure and Lazy Languages
cis.upenn.edu (Jan 15 2008) Explore Article
...ions are performed through system calls. For example, the sys nbio system call takes a non-blocking Haskell IO computation as its argument. The sys epoll wait system call has a blocking semantics: it waits unti... (Read Full Article)
Comment on Article Mentions: Benjamin C. Pierce Kathleen Fisher Microsoft Research
-
history.pdf (application/pdf Object)
Microsoft Research Home (Jan 11 2008) Explore Article
...card the result of the first computation: (>>) :: IO a -> IO b -> IO b m >> n = m >>= \ _ -> n The Haskell IO monad also supports exceptions, offering two new primitives: ioError :: IOError -> IO a catch :: IO... (Read Full Article)
Comment on Article Mentions: Ennals Unicode Ross Paterson





