[Haskell] PL / compilers team lead role with Standard Chartered in Warsaw

Hi all, I've advertised this elsewhere before, but the role is still open so I thought I'd advertise it to the Haskell and Types mailing lists, as it may interest some of you. My employer, Standard Chartered, is hiring a "Senior Manager, Model Programming Team Leader" to create a new team in Wars

[Haskell] Job openings with the strats team at Standard Chartered bank - New York, London, Singapore, Hong Kong

Key responsibilities Development of quantitative analytics; software engineering; software design and architecture; overall design and implementation of a wide range of financial software across FX, IR, commodities and credit asset classes; team leadership. Job description Strats are generalist s

[Haskell] Mathematics of Program Construction (MPC 2015): final call for papers

University of Oxford, UK (co-chair) Janis Voigtländer Universität Bonn, Germany (co-chair) José Pedro MagalhãesUniversity of Oxford, UK Nicolas Wu University of Oxford, UK For queries about local matters, please write

[Haskell] Mathematics of Program Construction (MPC 2015): first call for papers

rsität Bonn, Germany (co-chair) José Pedro MagalhãesUniversity of Oxford, UK Nicolas Wu University of Oxford, UK For queries about local matters, please write to j...@informatik.uni-bonn.de. ___ Haskell mailing

[Haskell] Call for participation: Workshop on Generic Programming

registration: https://regmaster4.com/2014conf/ICFP14/register.php Early registration deadline is 3 August. Program Committee - José Pedro Magalhães (co-chair), University of Oxford Tiark Rompf (co-chair), Oracle Labs & EPFL Peter Achten, Radboud University Nijmegen Nada Amin, E

[Haskell] Final CFP: Workshop on Generic Programming (WGP) 2014

- José Pedro Magalhães (co-chair), University of Oxford Tiark Rompf (co-chair), Oracle Labs & EPFL Peter Achten, Radboud University Nijmegen Nada Amin, Ecole Polytechnique Fédérale de Lausanne (EPFL) Pierre-Évariste Dagand, INRIA Paris-Rocquencourt Fritz Henglein, University of Copenhagen An

[Haskell] Second CFP: Workshop on Generic Programming (WGP) 2014

- José Pedro Magalhães (co-chair), University of Oxford Tiark Rompf (co-chair), Oracle Labs & EPFL Peter Achten, Radboud University Nijmegen Nada Amin, Ecole Polytechnique Fédérale de Lausanne (EPFL) Pierre-Évariste Dagand, INRIA Paris-Rocquencourt Fritz Henglein, University of Copenhagen An

[Haskell] First CFP: Workshop on Generic Programming (WGP) 2014

- José Pedro Magalhães (co-chair), University of Oxford Tiark Rompf (co-chair), Oracle Labs & EPFL Peter Achten, Radboud University Nijmegen Nada Amin, Ecole Polytechnique Fédérale de Lausanne (EPFL) Pierre-Évariste Dagand, INRIA Paris-Rocquencourt Fritz Henglein, University of Copenhagen An

[Haskell] Chordify, a new web startup using Haskell

nterested in user feedback at this stage, so if you're interested in music and could use an automatic chord transcription service, please try Chordify! Cheers, Pedro [1] http://chordify.net/ [2] http://hackage.haskell.org/package/HarmTrace [3] José Pedro Magalhães and W. Bas de Haas. Function

[Haskell] Call for Participation: Implementation and Application of Functional Languages 2012

Oxford, UK Nicolas Wu, University of Oxford, UK José Pedro Magalhães, University of Oxford, UK ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell

[Haskell] ANNOUNCE: syb-0.2

syb: Scrap Your Boilerplate! Scrap Your Boilerplate (SYB) is a library for generic programming in Haskell. It is supported since the GHC >= 6.0 implementation of Haskell. Using this approach, you can write generic fun

[Haskell] ANNOUNCE: guarded-rewriting-0.1: Generic rewriting with preconditions

, Johan Jeuring, Bastiaan Heeren, José Pedro Magalhães. A Lightweight Approach to Datatype-Generic Rewriting. Journal of Functional Programming, Special Issue on Generic Programming, 2010. A draft version of this paper is currently available at http://dreixel.net/research/pdf/ladgr_draft.pdf. The main

[Haskell] ANNOUNCE: regular-0.2 and regular-extras-0.1

Hello all, I'm pleased to announce a new version of the regular library which provides generic programming with fixed points for regular datatypes. Many generic programs require information about the recursive positions of a datatype. Examples include the generic fold, generic rewriting, and the

[Haskell] ANNOUNCE: regular-0.1

/ Bugs & Support -- Report issues, request features, or just discuss the library with the authors, maintainers, and other interested persons at: http://www.haskell.org/mailman/listinfo/generics ------ José Pedro Magalhães Universiteit Utr

Re: [Haskell] Data.Generics.gzip3 anyone?

Hello, Would there be interest in having this function added to the SYB library? Thanks, Pedro On Tue, Jun 2, 2009 at 00:40, Ralf Laemmel wrote: > > Thank you! What I have in mind is three way merging - you have two > > revisions based on the same original value, and you need to decide > whe

Re: [Haskell] How to define gunfold on List?

Hi there, There's no difference. See http://hackage.haskell.org/packages/archive/base/4.0.0.0/doc/html/src/Data-Data.html#line-1034 You can also see many other instances there. Cheers, Pedro On Sun, Jan 18, 2009 at 10:50, haihualin wrote: > Hi, > > Does some one know how to define gunfold on