- Haskell - Haskell.org

Six new assistant/associate professor positions in Nottingham
by Graham Hutton 21 Aug '18

21 Aug '18

Dear all, The School of Computer Science at the University of Nottingham is seeking to make multiple new appointments (potentially up to 6) at the Assistant or Associate Professor level: https://www.nottingham.ac.uk/jobs/currentvacancies/ref/SCI190718 Applications in the area of the Functional Programming (FP) lab would be most welcome. The FP lab is keen to receive applications from candidates with an excellent publication record and the ability to secure external funding to support their research. Further information about the FP lab is available from: https://www.nottingham.ac.uk/research/groups/fp-lab/ The deadline for applications is 30th September 2018. The advert mentions some specific research areas, but the positions are open to applicants from any area of Computer Science. Best wishes, Graham Hutton — Professor Graham Hutton School of Computer Science University of Nottingham, UK http://www.cs.nott.ac.uk/~pszgmh This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please contact the sender and delete the email and attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. Email communications with the University of Nottingham may be monitored where permitted by law.

1 0

Postdoctoral & development positions on PL for data curation at Edinburgh LFCS
by James Cheney 20 Aug '18

20 Aug '18

Hi, I am pleased to announce that we are now accepting applications for *two* postdoctoral positions in programming languages for scientific data management. Both are for 24 months, starting on October 1, 2018 at the earliest. Funding is provided by a five-year, €1.99M Consolidator Grant from the European Research Council on the project: "Skye: A programming language bridging theory and practice for scientific data curation". == Research software engineer (£32,548 - £38,833) == This position is aimed at developing scientific database case studies using Links, a programming language with strong support for Web programming, database programming, algebraic effects and distributed programming using session types. Applications are welcome from either experienced scientific database developers with an interest in functional programming, or programming languages or database researchers with an interest in principled software development. == Senior researcher (£39,992 - £47,722) == This position is intended for someone who has significant research experience and an independent research agenda relevant to the topics of the project: types, database programming, metaprogramming, language extensibility, etc. The senior researcher will help to lead a substantial part of the Skye project and participate in supervision of some of the students and staff working on the project. Funding from this ERC grant can also be used to help support travel/accommodation costs for extended visits from established researchers (e.g. faculty at other institutions) whose research aligns with the project. Please get in touch if interested. == To apply == For more information about the project, and about other related activities in my group, LFCS, and Edinburgh, please write to me or consult the following page: http://homepages.inf.ed.ac.uk/jcheney/group/skye.html Applications must be received by 5pm GMT, September 13, 2018. To apply, visit the University job posting for these positions: Research software engineer https://www.vacancies.ed.ac.uk/pls/corehrrecruit/erq_jobspec_version_4.jobs… Senior researcher https://www.vacancies.ed.ac.uk/pls/corehrrecruit/erq_jobspec_version_4.jobs… then click "apply" and follow the instructions. Please note that applicants must use the University's application system above, which involves some account registration and form-filling, and it is recommended that applicants complete this process well before the deadline, since the system automatically stops accepting applications after the deadline. == Environment == The University of Edinburgh School of Informatics brings together world-class research groups in theoretical computer science, artificial intelligence and cognitive science. The School led the UK 2014 REF rankings in volume of internationally recognized or internationally excellent research. In 2013, the School of Informatics received an Athena Swan Silver Award, in recognition of its commitment to advancing the careers of women in science, technology, engineering, mathematics and medicine (STEMM) employment in higher education and research. Overall the University of Edinburgh has achieved a Silver Award.

1 0

First CfP: JFP Special Issue on The Theory and Practice of Algebraic Effects and Handlers
by KC Sivaramakrishnan 16 Aug '18

16 Aug '18

============================================================ CALL FOR PAPERS JFP Special Issue on The Theory and Practice of Algebraic Effects and Handlers Submission Deadline: 18 January 2019 Expected Publication Date: December 2019 ============================================================= ## Scope An important aspect of real-world languages is their support for computational effects such as raising exceptions, printing to the screen, accessing a database, non-determinism, and concurrency. In order to reason about the semantics of a programming language with computational effects, it is necessary to separate the effects out from the rest of the language. To this end, algebraic effects permit a wide class of computational effects to be specified in a pure setting using only operations that give rise to them and equations that the operations satisfy. The algebraic treatment of operations naturally leads to a novel treatment of handlers for all computational effects, not just for exceptions. Algebraic effect handlers have been steadily gaining attention as a programming language feature since they generalise many control-flow abstractions such as exception handling, iterators, async/await, or backtracking, while ensuring that the composition of various features remains well-behaved. Indeed, there are implementations of algebraic effects and effect handlers as libraries in C, Clojure, F#, Haskell, OCaml, Scala, JavaScript, as well as full-fledged languages such as Eff, Frank, Links, Koka, and Multicore OCaml. Algebraic effect handlers have also influenced the design of software tools in industry including Facebook's React UI library and Uber's Pyro probabilistic programming language. To recognise and encourage the publication of mature research contributions in this area, a special issue of the Journal of Functional Programming (JFP) will be devoted to the same theme. ## Topics Full-length, archival-quality submissions are solicited on theoretical and practical aspects of algebraic effects and handlers. Examples include, but are not limited to: * Reasoning about algebraic effects and handlers (denotational semantics, dependent types, logical relations, language support for equational reasoning) * Effect typing (subtyping, row-polymorphism, generativity, encapsulation) * Implementation of effect handlers (dynamic effects, selective CPS translations, delimited continuations) * Applications of algebraic effect handlers (probabilistic programming, event correlation, meta-programming, asynchronous I/O, debugging) Reports on applications of these techniques to real-world problems are especially encouraged, as are submissions that relate ideas and concepts from several of these topics, or bridge the gap between theory and practice. Papers will be reviewed as regular JFP submissions, and acceptance in the special issue will be based on both JFP's quality standards and relevance to the theme. The special issue also welcomes high-quality survey and position papers that would benefit a wide audience. Authors are encouraged to indicate interest in submitting by December 14, 2018, to aid in identifying suitable reviewers. The submission deadline is January 18, 2019. The expected submission length is 25-35 pages, excluding bibliography and appendices. Shorter submissions are encouraged; prospective authors of longer submissions should discuss their plans with the special issue editors in advance. Submissions that are based on previously-published conference or workshop papers must clearly describe the relationship with the initial publication, and must differ sufficiently that the author can assign copyright to Cambridge University Press. Prospective authors are welcome to discuss such submissions with the editors to ensure compliance with this policy. ## Submissions Submissions should be sent through the JFP Manuscript Central system at https://mc.manuscriptcentral.com/cup/jfp_submit. Choose “Effects and Handlers” as the paper type, so that it gets assigned to the special issue. For other submission details, please consult an issue of the Journal of Functional Programming or see the Journal's web page at http://journals.cambridge.org/jid_JFP. ## Tentative Schedule * 14 December 2018: Expression of interest * 18 January 2019: Submission deadline * 22 April 2019: First round of reviews * 23 August 2019: Revision deadline * 15 November 2019: Second round of reviews * 13 December 2019: Final accepted versions due ## Guest Editors * Andrej Bauer, Faculty of Mathematics and Physics, University of Ljubljana * KC Sivaramakrishnan, Department of Computer Science and Technology, University of Cambridge ## Editors in Chief * Jeremy Gibbons, Department of Computer Science, University of Oxford * Matthias Felleisen, College of Computer and Information Science, Northeastern University

1 0

Free mini-course on programming with advanced Haskell type system features, September 5, Lowell, Massachusetts
by José Manuel Calderón Trilla 14 Aug '18

14 Aug '18

Dear fellow Haskellers, Galois will be teaching a one-day mini-course on programming with some of the advanced type system features in recent GHCs, such as GADTs, data kinds, and type families. The course will on September 5, 2018, co-located with IFL 2018 at UMass Lowell. There is no charge, and participants will be provided with lunch and dinner free of charge. Registration is, however, required ahead of time. For more information and to sign up, please visit http://2018.iflconference.org/#course . Let me know if you have any questions. Hope to see you there! -- José Manuel

1 0

First Call for Participation for IFL 2018 (Implementation and Application of Functional Languages)
by Jurriaan Hage 14 Aug '18

14 Aug '18

Hello, Please, find below the 1st call for participation for IFL 2018. Please forward these to anyone you think may be interested. Apologies for any duplicates you may receive. best regards, Jurriaan Hage Publicity Chair of IFL --- CALL FOR PARTICIPATION: ================================================================================ IFL 2018 30th Symposium on Implementation and Application of Functional Languages University of Massachusetts Lowell, MA, USA September 5th-7th, 2018 http://iflconference.org September 5th: Haskell Mini-Course by Galois, Inc, see details below. ================================================================================ ### Scope The goal of the IFL symposia is to bring together researchers actively engaged in the implementation and application of functional and function-based programming languages. IFL 2018 will be a venue for researchers to present and discuss new ideas and concepts, work in progress, and publication-ripe results related to the implementation and application of functional languages and function-based programming. ### Keynote Speakers * Adam Chlipala, Massachusetts Institute of Technology CSAIL * Arjun Guha, University of Massachusetts Amherst ### Haskell Mini-Course (September 5th, 2018) Mini-course on Haskell by Galois, Inc, presented by David Thrane Christiansen and Jose Manuel Calderon Trilla. Register: Attendance at the course is free, but you must RSVP. (Link to RSVP form can be found at http://iflconference.org) Course Description: Recent versions of the GHC compiler for Haskell feature support for a number of advanced type system features, including pattern-matching functions in the type system (type families), indexed families (generalized algebraic datatypes, or GADTs), type-level data structures (data kinds), and general compile-time metaprogramming (Template Haskell). At Galois, we use these features in a number of our projects, which allows us to build deep embeddings of programming languages and have GHC enforce the target language's type system for us. This style of programming ensures that we only produce well-typed terms, including that we do not forget any of the run-time checks that are necessary to preserve our invariants when accepting input from untyped sources such as files. In the course of developing these projects, some common problems and programming patterns emerged. We developed the `parameterized-utils` library to codify solutions to these problems, and provide necessary generalizations of interfaces from the standard library (Eq, Applicative, Traversable, etc.) We will expect that participants in the course have used Haskell before, but we will not expect everyone to be experts. We will introduce GADTs, type families, and data kinds, and then show how to use them together with the tools from parameterized-utils with an implementation of the simply-typed lambda calculus, including basic AST definitions, evaluation, and parsing. ### Peter Landin Prize The Peter Landin Prize is awarded to the best paper presented at the symposium every year. The honored article is selected by the program committee based on the submissions received for the formal review process. The prize carries a cash award equivalent to 150 Euros. ### Organization and Program committee Chairs: Jay McCarthy & Matteo Cimini, University of Massachusetts Lowell, USA Program Committee: * Arthur Chargueraud, Inria, FR * Ben Delaware, Purdue University, USA * Christos Dimoulas, Northwestern University, USA * David Darais, University of Vermont, USA * Dominic Orchard, University of Kent, UK * Ekaterina Komendantskaya, Heriot-Watt University, UK * Garrett Morris, University of Kansas, USA * Heather Miller, EPFL & Northeastern University, CH & USA * Jeremy Yallop, University of Cambridge, UK * Keiko Nakata, SAP Innovation Center Potsdam, DE * Laura Castro, University of A Coruna, ESP * Magnus Myreen, Chalmers University of Technology, SWE * Natalia Chechina, Bournemouth University, UK * Peter Achten, Radboud Universiteit Nijmegen, NL * Peter-Michael Osera, Grinnell College, USA * Richard Eisenberg, Bryn Mawr College, USA * Trevor McDonell, University of New South Wales, AUS * Yukiyoshi Kameyama, University of Tsukuba, JAP ### Venue The 30th IFL is organized by the University of Massachusetts Lowell. The City of Lowell is located at the heart of the Merrimack Valley just 30 miles northwest of Boston. Lowell can be easily reached by train or taxi. See the website for more information on the venue.

1 0

[ANNOUNCE] GHC 8.6.1-beta1 available
by Ben Gamari 11 Aug '18

11 Aug '18

Hello everyone, The GHC development team is very pleased to announce the first beta leading up to GHC 8.6.1 release. The usual release artifacts are available from https://downloads.haskell.org/~ghc/8.6.1-beta1 This beta fixes most of the bugs reported in the first two alphas and brings all of the core libraries up to their final release versions. The 8.6 release fixes over 300 bugs from the 8.4 series and introduces a number of exciting features. These most notably include: * Significantly better handling of macOS linker command size limits, avoiding linker errors while linking large projects * A new deriving mechanism, `deriving via`, providing a convenient way for users to extend Haskell's typeclass deriving mechanism * Quantified constraints, allowing forall quantification in contexts * An early version of the GHCi `:doc` command * The `ghc-heap-view` package, allowing introspection into the structure of GHC's heap * Valid hole fit hints, helping the user to find terms to fill typed holes in their programs * The BlockArguments extension, allowing the `$` operator to be omitted in some unambiguous contexts * The next phase of the MonadFail proposal, enabling -XMonadFailDesugaring by default A full list of the changes in this release can be found in the release notes: https://downloads.haskell.org/~ghc/8.6.1-beta1/docs/html/users_guide/8.6.1-… This will very likely be the last release before the final 8.6.1 so do give it a thorough testing and, as always, report any issues you encounter. Thanks for your help! Cheers, - Ben

1 0

Spitfire is hiring in Sydney
by Patryk Zadarnowski 09 Aug '18

09 Aug '18

Spitfire, a fast-growing, well-funded fintech startup in the trading/portfolio management space, is seeking Haskellers to join an established team of three Haskell and two Scala developers. Most of our code base is in Haskell. We are currently looking for three to five senior developers, with excellent problem solving/research skills and a GitHub account to prove it. Finance and/or trading experience is not necessary but nice to have. Love of a good challenge (we have heaps of hard problems to solve!) and an ability to work in a fast-paced startup environment is essential. In return, we can offer attractive compensation and stock options package. Our office is located in Sydney CBD, Australia, and we will consider visa sponsorship for the right candidates. At this stage, we are not able to offer remote work arrangements. If this sounds like something you could be interested in, please contact me by email with your CV and your GitHub (or equivalent) user name. Patryk Zadarnowski Spitfire Pty Ltd

1 0

Call for Participation: ICFP 2018
by Lindsey Kuper 07 Aug '18

07 Aug '18

*** Early registration ends 27 August. *** ===================================================================== Call for Participation ICFP 2018 23rd ACM SIGPLAN International Conference on Functional Programming and affiliated events September 23 - September 29, 2018 St. Louis, Missouri, USA http://icfp18.sigplan.org/ ===================================================================== ICFP provides a forum for researchers and developers to hear about the latest work on the design, implementations, principles, and uses of functional programming. The conference covers the entire spectrum of work, from practice to theory, including its peripheries. This year, ICFP is co-located with Strange Loop! Considering attending ICFP for the first time? See our brief explainer: https://icfp18.sigplan.org/attending/introduction-to-icfp * Overview and affiliated events: http://icfp18.sigplan.org/home * Program: http://icfp18.sigplan.org/program/program-icfp-2018 * Accepted papers: http://icfp18.sigplan.org/track/icfp-2018-papers * Registration is available via: https://regmaster4.com/2018conf/ICFP18/register.php Early registration ends 27 August, 2018. * Programming contest results: https://icfpcontest2018.github.io/ * Student Research Competition: https://icfp18.sigplan.org/track/icfp-2018-Student-Research-Competition * Follow us on Twitter for the latest news: http://twitter.com/icfp_conference In addition to Strange Loop (9/26-9/28), there are several events co-located with ICFP: * Erlang Workshop (9/29) * Functional Art, Music, Modeling and Design (9/29) * Functional High-Performance Computing (9/29) * Haskell Implementors' Workshop (9/23) * Haskell Symposium (9/27-9/28) * Higher-order Programming with Effects (9/23) * ICFP Tutorials (9/27-9/29) * ML Family Workshop (9/28) * Numerical Programming in Functional Languages (9/27) * OCaml Workshop (9/27) * Programming Languages Mentoring Workshop (9/23) * Scala Symposium (9/28) * Scheme Workshop (9/28) * Type-Driven Development (9/27) Conference Organizers: General Chair: Robby Findler (Northwestern University, USA) Program Chair: Matthew Flatt (University of Utah, USA) Accessibility Chair: Alan Jeffrey (Mozilla Research, USA) Artefact Evaluation Co-Chair: Simon Marlow (Facebook, UK) Industrial Relations Chair: Alan Jeffrey (Mozilla Research, USA) PLMW Co-Chair: Dan Licata (Wesleyan University, USA) PLMW Co-Chair: David Van Horn (University of Maryland, USA) PLMW Co-Chair: Niki Vazou (University of Maryland, USA) Programming Contest Organizer: Matthew Fluet (Rochester Institute of Technology, USA) Publications Co-Chair: Alex Potanin (Victoria University of Wellington, New Zealand) Publicity Chair: Lindsey Kuper (UC Santa Cruz, USA) Student Research Competition Chair: Ravi Chugh (University of Chicago, USA) Student Volunteer Co-Captain: Jakub Zalewski (University of Edinburgh, UK) Student Volunteer Co-Captain: Spencer P. Florence (Northwestern University, USA) Treasurer and Conference Manager: Annabel Satin (P.C.K., UK) Video Co-Chair Jamie Willis (University of Bristol, UK) Video Co-Chair: Jose Calderon (Galois, USA) Workshops Co-Chair: Christophe Scholliers (Ghent University, Belgium) Workshops Co-Chair: David Christiansen (Galois, USA) Sponsors and industrial partners: Platinum supporters: Ahrefs Jane Street Standard Chartered X Gold supporters: DFINITY Facebook Mozilla McCormick School of Engineering, Northwestern University Silver supporters: Bloomberg Cal Poly Computer Science & Software Engineering Digital Asset Galois Microsoft Research Oracle Labs Tweag I/O Bronze supporters: Google IntelliFactory Kadena Obsidian Systems Systor Vest Well-Typed

1 0

PPDP | LOPSTR | WFLP 2018 Common Call for Participation
by David Sabel 06 Aug '18

06 Aug '18

====================================================================== PPDP | LOPSTR | WFLP 2018: Common Call for Participation ====================================================================== 20th International Symposium on Principles and Practice of Declarative Programming (PPDP 2018) 28th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2018) 26th International Workshop on Functional and Logic Programming (WFLP 2018) Frankfurt am Main, Germany, 3-6 September 2018 http://ppdp-lopstr-18.cs.uni-frankfurt.de ====================================================================== Program ======= The full program of PPDP | LOPSTR | WFLP 2018 is online: http://ppdp-lopstr-18.cs.uni-frankfurt.de/program/0.htm It includes * four invited talks: - Philippa Gardner, Imperial College. Formal Methods for JavaScript - Jorge Navas, SRI International. Constrained Horn Clauses for Verification - Chung-Chieh Shan, University of Indiana. Calculating Distributions - Laure Gonnord, University of Lyon. Experiences in Designing Scalable Static Analyses * invited tutorials: LOPSTR includes two invited tutorials: - Fabio Fioravanti, University of Chieti-Pescara. The VeryMAP System for program transformation and verification - Manuel Hermenegildo, IMDEA Software Institute. 25 Years of Ciao * a session in Honour of Martin Hofmann PPDP includes a session in honour of Martin Hofmann with an invited talk given by Nick Benton, Facebook. Semantic Equivalence Checking for HHVM Bytecode Registration ============ http://www.ppdp-lopstr-18.cs.uni-frankfurt.de/#registration Early registration ends on 15 August, 2018. Sponsors ======== The conferences are financially supported by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) - 407531063, and by the Goethe-University Frankfurt am Main. Conference Organisers ===================== PPDP Program Committee See http://www.ppdp-lopstr-18.cs.uni-frankfurt.de/ppdp18.html#pc Program Chair Peter Thiemann, Universität Freiburg, Germany LOPSTR Program Committee See http://ppdp-lopstr-18.cs.uni-frankfurt.de/lopstr18.html#pc Program Chairs Fred Mesnard, University of Reunion Island, France Peter Stuckey, University of Melbourne, Australia WFLP Program Committee See http://ppdp-lopstr-18.cs.uni-frankfurt.de/wflp18.html#pc Program Chair Josep Silva, Universitat Politècnica de València, Spain Organizing Committee (Goethe-University Frankfurt am Main, Germany) Ehud Cseresnyes Nils Dallmeyer Bircan Dölek Ronja Düffel Lars Huth Leonard Priester David Sabel (General Chair)

1 0

Monad.Reader?
by Donald Sitompul 25 Jul '18

25 Jul '18

Where is the past Monad.Reader publication now? Donald Sitompul

1 0