Search results

• HacFreiburg2017/ListOfProjects
  == Writing Documentation for Haskell Packages (David, Franz) == == Spock (Alex T.) ==
  3 KB (381 words) - 14:33, 4 August 2017
• Hac5/Attendees
  | Don't know yet. | Don't know yet.
  5 KB (679 words) - 18:16, 11 March 2024
• Research papers/Authors
  *[https://scholar.google.com/citations?user=w6XYY_EAAAAJ Manuel M. T. Chakravarty] *[http://www.ipl.t.u-tokyo.ac.jp/~hu/pub/tech.html Zhenjiang Hu]
  8 KB (1,251 words) - 05:43, 1 September 2022
• HaskellImplementorsWorkshop/2012
  * '''[[HaskellImplementorsWorkshop/2012/Marlow|Why can't I get a stack trace?]]''' ([https://simonmar.github.io/ Simon Marlow]) [htt * [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
• Generalised algebraic datatype
  ...being Haskell, we have a pretty convincing argument that the evaluator won't mangle our types. We say that typing is preserved under evaluation (preserv Couldn't match `Empty' against `NonEmpty'
  8 KB (1,374 words) - 14:33, 15 December 2022
• HaWiki migration
  * David Himmelstrup (Lemmih) === P to T ===
  21 KB (2,417 words) - 23:19, 9 August 2021
• Shootout/SumFile
  ''Those guys tell us these benchmarks don't favor C and then impose a limit on line length? What's the purpose of that Just (k,t) -> go (n+k) (S.tail t)
  20 KB (3,239 words) - 02:07, 26 April 2021
• ZuriHac2010/Attendees
  | Universität Göttingen | David Leuschner
  5 KB (504 words) - 18:17, 11 March 2024
• ZuriHac2014/Projects
  * David Wagner =T-Digest=
  10 KB (1,601 words) - 10:27, 27 October 2014
• Darcs
  *<tt>darcs obliterate</tt>: remove a patch. ''Warning: if the patch doesn't exist elsewhere, you will lose that work.'' ...for [[generalised algebraic datatype]]s. The motivations are described in David Roundy's slides [http://darcs.net/fosdem_talk/talk.pdf Implementing the dar
  4 KB (654 words) - 15:20, 6 February 2021
• ZuriHac2016
  ...ugs_and_sockets#Swiss_SEV_1011_.28Type_J.29 its own power sockets]. We can't provide converters for everybody so make sure to bring one along. Do note t | 5pm || || ''David Luposchainsky'', '''Low-level Haskell: an interactive tour through the STG'
  13 KB (1,982 words) - 10:32, 8 September 2016
• Continuation
  ...instruction but a ''dynamic'' one (David Madore's [http://www.madore.org/~david/computers/callcc.html#sec_intro A page about <code>call/cc</code>]) ...ode>call/cc</code>] describes the concept, and his [http://www.madore.org/~david/programs/unlambda/ The Unlambda Programming Language] page shows how he imp
  10 KB (1,560 words) - 12:02, 15 April 2024
• Research papers/Data structures
  :Jeremy Gibbons, David Lester, and Richard Bird. Journal of Functional Programming, 16(3):281-292 :Manuel M. T. Chakravarty and Gabriele Keller. In Johan Jeuring and Simon Peyton Jones,
  14 KB (1,953 words) - 00:54, 5 June 2022
• Links
  ...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/peop ...ig/ Meurig Sage], University of Glasgow, [http://www.cs.chalmers.se/~dave/ David Sands], Chalmers University of Technology, [http://www.dcs.gla.ac.uk/~sanso
  11 KB (1,759 words) - 09:41, 10 August 2022
• Research papers/Runtime systems
  :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, pages
  9 KB (1,252 words) - 05:28, 1 September 2022
• Haskell in practice
  <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,263 words) - 06:31, 10 August 2022
• Shootout/Fannkuch
  * Repeat this until the first element is a 1, so flipping won't change anything more: {3,4,2,1,5}, {2,4,3,1,5}, {4,2,3,1,5}, {1,3,2,4,5}. by David Place. Compile with -O2 -optc-O3.
  22 KB (3,539 words) - 00:49, 14 December 2016
• HacFreiburg2017
  ...e map in the "Kinohörsaal". We will add some signs where to go. If you can't find us just send an email or ask somebody on campus. On Saturday and on Su * '''10:00 - 11:00''' Talk by <u>David Luposchainsky: "Haskell QA“</u>: Live Session explaining test frameworks
  7 KB (1,040 words) - 11:33, 4 August 2017
• Video presentations
  ;[http://channel9.msdn.com/ShowPost.aspx?PostID=358968#358968 Don't fear the monads] :David Roundy, FOSDEM, 2006
  11 KB (1,456 words) - 07:05, 7 August 2016
• Research papers/Domain specific languages
  :T Sheard, E Pasalic - Proceedings of the 2nd conference on Domain-specific la :Koen Claessen and David Sands. ASIAN '99. 1999.
  9 KB (1,309 words) - 07:48, 18 September 2014

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)