Search results
Jump to navigation
Jump to search
- *[https://scholar.google.com/citations?user=w6XYY_EAAAAJ Manuel M. T. Chakravarty] *[http://research.microsoft.com/~tharris/ Tim Harris]8 KB (1,251 words) - 05:43, 1 September 2022
- :Tim Harris, Simon Marlow, Simon Peyton Jones) Haskell '05: Proceedings of the 2 :Manuel M. T. Chakravarty, Roman Leshchinskiy, Simon Peyton Jones, Gabriele Keller, a9 KB (1,352 words) - 21:43, 10 May 2024
- ...m a b</code>) corresponds to the type <code>(a -> m b)</code>, where <code>m</code> is a monadic type. It's defined in <code>Control.Arrows</code> simi newtype Kleisli m a b = Kleisli {8 KB (1,315 words) - 00:43, 16 May 2024
- To: "Tim Harris (RESEARCH)" <tharris@microsoft.com>, Subject: RE: [Haskell] Re: [Haskell-cafe] SimonPJ and Tim Harris explain STM24 KB (3,463 words) - 05:20, 12 July 2021
- * GHCJS (Tim) * I'm interested in doing some work on pattern synonyms in GHC.8 KB (1,326 words) - 20:19, 28 September 2014
- ...u/~magnus/ Magnus Carlsson], OGI,[http://www.cse.unsw.edu.au/~chak/ Manuel M. T. Chakravarty], University of New South Wales,[http://www.cs.kent.ac.uk/p *<b>M:</b>[http://www.research.microsoft.com/~simonmar/ Simon Marlow], Microsoft,11 KB (1,759 words) - 09:41, 10 August 2022
- * '''Haskell at Pingwell''' by Tim Sears ...l/lambda-ccc/ lambda-ccc] - a project for compiling Haskell to hardware. I'm doing this work for my day job, but the development is open, and the result6 KB (923 words) - 17:52, 13 June 2014
- :Tim Sheard and Simon Peyton Jones, Proceedings of the Haskell Workshop, Pittsbu :Sean Seefried, Manuel M. T. Chakravarty, and Gabriele Keller. In Gabor Karsai and Eelco Visser, edi26 KB (3,569 words) - 10:04, 1 September 2022
- I plan to fix a few random GHC bugs and I’m more than happy to guide GHC-newbies in doing the same. Planning and coordi * Tim Schwarte10 KB (1,601 words) - 10:27, 27 October 2014
- ...'' is a triple (''M'', ''unit'', ''★'') consisting of a type constructor ''M'' and two operations of the given polymorphic types." *: "So now I can reveal what a monad is. The triple of objects (m,unit,bind) is the monad, and to be a monad they must satisfy a bunch of law35 KB (4,966 words) - 00:02, 25 May 2024
- Now you may notice that I'm mixing features with implementation choices (eg using Gtk+). To justify thi ...rograming in Haskell. I think I know a little abut GUI design (but maybe I'm just opinionated and igonrant). I used to work on hIDE 1.x. I would be inte24 KB (4,039 words) - 04:38, 24 April 2021
- Template Haskell was conceived by Tim Sheard and Simon Peyton Jones<ref name="th1" /> by drawing on the ideas of ...a definition for function <hask>foldMap :: Monoid m => (a -> m) -> T a -> m</hask>. Again, <hask>foldMap</hask>'s definition follows directly from a da45 KB (6,927 words) - 18:50, 16 November 2020
- ** Template metaprogramming for Haskell, by Tim Sheard and Simon Peyton Jones, Oct 2002. [[http://www.haskell.org/wikiuploa * I'm writing Hacanon - a framework for automatic generation of C++ bindings. Rea30 KB (4,551 words) - 00:29, 15 June 2023
- ...e value <code>x</code> while producing some I/O effects, then <code>fmap g m</code> will compute the value <code>g x</code> while producing the same I/O class Applicative m => Monad m where179 KB (29,519 words) - 16:10, 30 December 2022
- G-Machine, TIM, parallel G-Machine. In each case the authors provide a en distintas titulaciones de la Universidad de Málaga. Aún así, su53 KB (7,703 words) - 13:28, 28 March 2024