Search results

Jump to: navigation, search
  • ...8 + Heirarchical Modules, I do not wish to change this. Other than that, I'm pretty flexible about most aspects of Hoogle. The [http://code.google.com/p * David Waern
    18 KB (2,779 words) - 22:27, 12 June 2017
  • <dt>[[Darcs]][http://abridgegame.org/darcs/]<dd>David's Advanced Revision Control System is yet another replacement for CVS. It i ...ris.ac.uk/~tweed/haskprog.html David Tweeds Haskell Programs]<DD>Currently David offers a LaTeX preprocessor.
    14 KB (2,253 words) - 01:06, 29 October 2016
  • <dt>Simon Peyton Jones, David Lester: [http://www.amazon.com/Implementing-Functional-Languages-Prentice-H en distintas titulaciones de la Universidad de Málaga. Aún así, su
    49 KB (7,108 words) - 11:51, 25 November 2021
  • <shapr> I'm addicted to arrows. ...and when someone complains that it doesn't work on their toaster because I'm a moron who can't write portable code, I can say, smiling, "patches welcome
    53 KB (8,717 words) - 02:17, 26 April 2021
  • I'm planning assignments using Fran and Active Haskell and <b>Instructor:</b> [mailto:dave@cs.chalmers.se David Sands]
    40 KB (6,259 words) - 05:49, 6 June 2020
  • ...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,760 words) - 21:50, 23 April 2021
  • newtype NondetT m a = NondetT { foldNondetT :: (forall b. (a -> m b -> m b) -> m b -> m b) }
    67 KB (9,593 words) - 05:40, 9 March 2021
  • :Colin Runciman and David Wakeling. York University. YCS-92-172. 1992. :Andre Pang, Don Stewart, Sean Seefried, and Manuel M. T. Chakravarty. In Proceedings of the ACM SIGPLAN Workshop on Haskell, pag
    9 KB (1,212 words) - 22:32, 6 August 2021
  • :Philip Wadler. In M. Broy, editor, Marktoberdorf Summer School on Program Design Calculi, Sprin :David King and Philip Wadler. Glasgow Workshop on Functional Programming, Springe
    17 KB (2,312 words) - 15:10, 12 October 2013
  • :M Wallace, C Runciman - ACM SIGPLAN Notices, 1999 :Kooijman, M. (2009); master's thesis.
    9 KB (1,309 words) - 07:48, 18 September 2014
  • ...r explaining the theoretical roots of quines (e.g. [http://www.madore.org/~david/computers/quine.html#sec_fp fixed point theorem]) ...achieve something similar to currying, see [http://en.wikipedia.org/wiki/S-m-n_theorem Kleene's <math>s^m_n</math> theorem]). So using <math>f:A\times B
    13 KB (2,068 words) - 23:19, 3 June 2019
  • ...hsce/ Category extras], by [http://www.eyrie.org/~zednenem/about/dave.html David Menendez]: libraries for e.g. functors, bifunctors, comonads, natural trans * Brendan Fong, David I Spivak: [https://arxiv.org/abs/1803.05316 Seven Sketches in Compositional
    9 KB (1,329 words) - 01:02, 16 April 2019
  • *[https://scholar.google.com/citations?user=w6XYY_EAAAAJ Manuel M. T. Chakravarty] ==M==
    8 KB (1,255 words) - 04:18, 25 July 2021
  • Performance is summarised (on OpenBSD/x86 1.6Ghz Pentium M): by David Place. Compile with -O2 -optc-O3.
    22 KB (3,539 words) - 00:49, 14 December 2016
  • Lotto: Draw N different random numbers from the set 1..M. * (group3 '(aldo beat carla david evi flip gary hugo ida))
    5 KB (763 words) - 08:41, 8 February 2019
  • ...(&forall; ''m'' &isin; '''N'''<sub>2</sub>) (&#8202;(''m'' | ''n'') &rArr; m = n)&#8202;} ...&isin; '''N'''<sub>2</sub>) (&#8202;''m''&#8202; &lt; ''n'' &rArr; &not;(''m'' | ''n''))&#8202;}
    45 KB (6,814 words) - 16:55, 8 August 2020
  • :David Herman. 2007. :Jeremy Gibbons, David Lester and Richard Bird. 2006.
    18 KB (2,480 words) - 23:53, 9 August 2021
  • ; [[/David Beckingsale's xmonad.hs]] (0.9) ;[[/David Roundy's xmonad.hs]] (0.8 +)
    29 KB (4,125 words) - 12:46, 15 January 2021
  • ...ughes], The Computer Journal, Vol. 32, No. 2, 1989, pp. 98 - 107. Also in: David A. Turner (ed.): Research Topics in Functional Programming, Addison-Wesley, :Colin Runciman and David Wakeling (ed.), UCL Press, 1995, ISBN 1-85728-377-5 HB. From the cover:<blo
    33 KB (4,828 words) - 23:21, 19 November 2021
  • ...t Says what it Means]] ([https://wiki.haskell.org/wikiupload/4/4c/Hiw-2015-david-christiansen.pdf slides]) ([https://youtu.be/m7BBCcIDXSg video]) Lastly, as a new PhD student, I'm going to ask audience for feedback, further ideas and collaborators for Has
    15 KB (2,190 words) - 21:19, 17 February 2016
  • * David Luposchainsky (TNG Technology Consulting, dluposchainsky(λ)googlesemail, a * M Farkas-Dyck
    1 KB (158 words) - 00:18, 17 June 2021
  • ...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 where
    179 KB (29,507 words) - 20:17, 23 July 2021
  • My project was refactoring programs with hlint suggestions. I'm Johan Tibell writes: I'm very happy with Adam's work strict Haskell. StrictData is already in HEAD a
    8 KB (1,152 words) - 13:09, 24 March 2018
  • .../Hiw2012-jose-pedro-magalhaes.pdf Slides], [http://www.youtube.com/watch?v=m-ZU6rwm3Ow Video] * [http://www.cse.unsw.edu.au/~chak/ Manuel M T Chakravarty] (University of New South Wales)
    6 KB (790 words) - 03:05, 25 July 2021
  • * David Wagner 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
    10 KB (1,601 words) - 10:27, 27 October 2014
  • * [mailto:capn.freako@gmail.com David Banas] - amateur Haskeller ...on breakdown visualization project hosted by [mailto:capn.freako@gmail.com David Banas]
    6 KB (923 words) - 17:52, 13 June 2014
  • class Monad m => MonadFail m where fail :: String -> m a
    17 KB (2,602 words) - 01:15, 7 November 2020
  • | 5pm || || ''David Luposchainsky'', '''Low-level Haskell: an interactive tour through the STG' In this talk, I'm going to introduce "generics-sop", a library that
    13 KB (1,982 words) - 10:32, 8 September 2016