[Haskell] 2 PhD fellows in Functional High-Performance Computing

nguages with a focus on automatic program optimization, analysis and transformation. More information: https://di.ku.dk/ominstituttet/ledige_stillinger/2-phd-fellows-in-functional-technology/ -- \ Troels /\ Henriksen ___ Haskell mailing list Hask

[Haskell] FHPPNC 2020 Call For Papers

FHPNC 2020 Call for Papers == Satellite event of the 25th ACM SIGPLAN International Conference on Functional Programming (ICFP 2020), held on the 23rd of August. TL:DR: Paper/abstract deadline 15 May. Scope - The ACM SIGPLAN International Workshop on Functional

[Haskell] FHPNC 2021 - Call for Papers and Extended Abstracts: Extended Deadline

FHPNC 2021 Call for Papers == Satellite event of the 26th ACM SIGPLAN International Conference on Functional Programming (ICFP 2021), held on the 22nd of August. TL;DR: Extended paper/abstract deadline to May 21st. Scope - The ACM SIGPLAN International Workshop on

[Haskell] Call for papers for the Workshop on Functional High-Performance and Numerical Computing (FHPNC)

in the ACM Digital Library. Related links Author Information and LaTeX templates : http://www.sigplan.org/Resources/Author/ Attendee Code of Conduct: http://www.sigplan.org/Resources/Policies/CodeOfConduct/ -- \ Troels /\ Henriksen ___ Haskell

[Haskell] ARRAY 2022: Call for Papers

will be lightly reviewed only for relevance to the workshop, and will not published in the DL. -- \ Troels /\ Henriksen ___ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] 1st CfP: IFL 2022 - 34th Symposium on Implementation and Application of Functional Languages

by DIKU at the University of Copenhagen. See the IFL 2022 website at https://ifl22.github.io/ for more information. -- \ Troels /\ Henriksen ___ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] AVailable PhD position in parallel functional programming languages

program, allowing the programmer to understand the high-level performance of their program. * Optimising data layout based on how it is accessed by the program; possibly also taking distributed execution or NUMA behaviour into account. For more information, feel free to contact Troels

[Haskell] ARRAY 2023 Call for Papers - please help disseminate

# ARRAY 2023 - co-located with PLDI 2023 - call for papers * Submission deadline: 31st of March * Notification:21st of April * Workshop date: 17th of June * Submission: https://array23.hotcrp.com/ Array programming is at home in many communities, including language design, library

Re: 6.12.1 release

Simon Marlow marlo...@gmail.com writes: Simon and I favour the RC2 option. What do others think? This sounds about right. There's no reason to not be conservative here. -- \ Troels /\ Henriksen ___ Glasgow-haskell-users mailing list Glasgow

[Haskell-cafe] Associative prefix operators in Parsec

and not a bug. -- \ Troels /\ Henriksen ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Associative prefix operators in Parsec

into shape. -- \ Troels /\ Henriksen ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] Strange things with type literals of kind Nat

is that 'n+1' is not structural to GHC in the same way that 'S n' is. The page http://hackage.haskell.org/trac/ghc/wiki/TypeNats/MatchingOnNats mentions that type level numbers of kind Nat have no structure, which seems to support my suspicion. What's the complete story, though? -- \ Troels