From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTP id 012311E6 for ; Thu, 16 Aug 2018 08:25:21 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.53,246,1531778400"; d="scan'208,217";a="342644704" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 16 Aug 2018 10:24:58 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id B92D7824C8; Thu, 16 Aug 2018 10:24:58 +0200 (CEST) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 6082381792 for ; Thu, 16 Aug 2018 10:20:07 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=sk826@cam.ac.uk; spf=Pass smtp.mailfrom=sk826@cam.ac.uk; spf=Pass smtp.helo=postmaster@ppsw-30.csi.cam.ac.uk IronPort-PHdr: =?us-ascii?q?9a23=3A6QjXdRxMKBHptnzXCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?2+oUIJqq85mqBkHD//Il1AaPAd2Fraocw8Pt8InYEVQa5piAtH1QOLdtbDQizf?= =?us-ascii?q?ssogo7HcSeAlf6JvO5JwYzHcBFSUM3tyrjaRsdF8nxfUDdrWOv5jAOBBr/KRB1?= =?us-ascii?q?JuPoEYLOksi7ze+/94HSbglSmDaxfa55IQmrownWqsQYm5ZpJLwryhvOrHtIeu?= =?us-ascii?q?BWyn1tKFmOgRvy5dq+8YB6/ShItP0v68BPUaPhf6QlVrNYFygpM3o05MLwqxbO?= =?us-ascii?q?SxaE62YGXWUXlhpIBBXF7A3/U5zsvCb2qvZx1S+HNsDwULs6Wymt771zRRDniC?= =?us-ascii?q?kJOT03/nzJhMNsl69Uug6tqgZlzoLIfI2YNvxzdb7dc9MAQmpBW95cWSlfD4ih?= =?us-ascii?q?coUPDvQBMvxCr4bnolsBtxi+BROtBOP0yj9IgGX53asn2OkmCgHG3w8tE8wPvX?= =?us-ascii?q?nPsNr6LqISXfqvw6bU1znDcvBW1C775YPVfB4hpvSMUqhxccrX0UQgCxnKjlCL?= =?us-ascii?q?poz/PjOay+sNvHaB4+pnT+KvhHYrqwRrrTip28cskZXGhpgUylDc6SV23Jg6Jd?= =?us-ascii?q?ukSE5he9GkFIFcuD2dN4tzRM4pXmJmuD4ix7Ebt5O3YTIGxIk6yxLCcfCKcJKE?= =?us-ascii?q?7g/tWeqNOTt0mm5pdbalixux8UWs0PPwWte63VpQsyZIkMTAu3YQ3BLJ8MeHUO?= =?us-ascii?q?Fy/kK51DaPyQ/T7uZELFgslarDMJ4gzKc8m5QPvUjZAiD2g0T2gLWKeUo+/+ik?= =?us-ascii?q?8f7oban8qp+BNI94kgD+MqIwlcyjGek0LwYDU3WB9eihybHv4Ff1TbZQgvErnK?= =?us-ascii?q?TVrIjWJcEBqa64Bw9V3Jwj6xG6Dzq+y9QYnnoKIExEdR+ck4fmIVTOLOriAvij?= =?us-ascii?q?mVisjTRry+jcPrL9GpXNMmTDkLD5cLlh8UFczQ4zwclb55JVEbEBPOn+WlTxtd?= =?us-ascii?q?zdFh82KRa4w+fhCNVn14MRQ3iDAqGDMPCajVjd7esqJ6yIZZQJkDf7MfksofD0?= =?us-ascii?q?3lEjnlpIXoLh5poJYWqxG/1lOUSCYXzlhJ9VCmRa5FQWR+XvzlSJFyNQMSXhF5?= =?us-ascii?q?kg7y02Xdr1RbzIQZqg1eTYjXWLW6ZOb2UDMWiiVHLhdoGKQfAJMXvAKcZk1DUP?= =?us-ascii?q?E6WiGdZ4iUOe8TTiwr8iFdL6vzUCvMu6htN84qvanlcv9m4sVpnP4yS2V2hx21?= =?us-ascii?q?gwaXo20aR4+xcv0k+Yzu0j27pTDt0V7PpMFA4xc4PfnbV3?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BlBACxMnVbh4IIb4Ndg1aBDX8og25SS?= =?us-ascii?q?6gzgyaBZgEKI4FUgnWDOBoGAQQ0FAECAQECAQEBAQETAQEBCA0JCCkjDII1IoJ?= =?us-ascii?q?/BQYdAQEmBAYIJQkuAiQSAQUBgwxLAYIBD54FPIocb4EugnUBAQWEXhmCZQiLL?= =?us-ascii?q?4N2hGYLFEcNglSCVYEnAQEBhEhci26IMgEGAgGFVFGCc4J9g0YVgTpIg2aIRos?= =?us-ascii?q?IiAoPIYEQJ2GBEoEBcAZmgUwJghoCDgkRgzSFFIJmglluDotqDxeCIwEB?= X-IPAS-Result: =?us-ascii?q?A0BlBACxMnVbh4IIb4Ndg1aBDX8og25SS6gzgyaBZgEKI4F?= =?us-ascii?q?UgnWDOBoGAQQ0FAECAQECAQEBAQETAQEBCA0JCCkjDII1IoJ/BQYdAQEmBAYIJ?= =?us-ascii?q?QkuAiQSAQUBgwxLAYIBD54FPIocb4EugnUBAQWEXhmCZQiLL4N2hGYLFEcNglS?= =?us-ascii?q?CVYEnAQEBhEhci26IMgEGAgGFVFGCc4J9g0YVgTpIg2aIRosIiAoPIYEQJ2GBE?= =?us-ascii?q?oEBcAZmgUwJghoCDgkRgzSFFIJmglluDotqDxeCIwEB?= X-IronPort-AV: E=Sophos;i="5.53,246,1531778400"; d="scan'208,217";a="275969102" Received: from ppsw-30.csi.cam.ac.uk ([131.111.8.130]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 16 Aug 2018 10:20:06 +0200 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=cam.ac.uk; s=20180806.ppsw; h=Content-Type:To:Subject:Message-ID:Date:From:MIME-Version :Sender:Reply-To:Cc:Content-Transfer-Encoding:Content-ID:Content-Description: Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc:Resent-Message-ID: In-Reply-To:References:List-Id:List-Help:List-Unsubscribe:List-Subscribe: List-Post:List-Owner:List-Archive; bh=XMkuLjXYM94hlqp05TKyT9iFx+s/O2V6yqLBWxGoKeI=; b=BQExIFOBwWAFzdQiehnrPshUxB LK1MJFJefo1D0NWLSkSZ5zRFPzbMUbxngkaxvQRSkuSgXHyLxxO5oCn98QXwPj6BZpIt6IDuy4CP2 J16rQs1bqmvlCklLUub3O12ygBKduR1iC+CUvbS3gpsCZLXN8lqoxdZMxVp82m9RWDrU=; X-Cam-AntiVirus: no malware found X-Cam-ScannerInfo: http://help.uis.cam.ac.uk/email-scanner-virus Received: from mail-io0-f171.google.com ([209.85.223.171]:38494) by ppsw-30.csi.cam.ac.uk (smtp.hermes.cam.ac.uk [131.111.8.156]:587) with esmtpsa (PLAIN:sk826) (TLSv1.2:ECDHE-RSA-AES128-GCM-SHA256:128) id 1fqDVl-000a5H-ex (Exim 4.91) for caml-list@inria.fr (return-path ); Thu, 16 Aug 2018 09:20:05 +0100 Received: by mail-io0-f171.google.com with SMTP id v26-v6so3202791iog.5 for ; Thu, 16 Aug 2018 01:20:05 -0700 (PDT) X-Gm-Message-State: AOUpUlG6tFuP8oplA3lu506ZMR8wo9ZH+qwIIsaHpyCNXZEQxoX12wzb XTjwlyTAE8y0ltawUm0X6GI5p2f4kGTwAJ9WCso= X-Google-Smtp-Source: AA+uWPwOS9uVWmumWtfepX6sgXEgY7Gw1KoCZThQJ0UuH3JSzduZblarhTLnpSs1YhJLHtzYyE5MBvh/dt0EHzacJUI= X-Received: by 2002:a6b:c8c8:: with SMTP id y191-v6mr25067852iof.295.1534407604691; Thu, 16 Aug 2018 01:20:04 -0700 (PDT) MIME-Version: 1.0 From: KC Sivaramakrishnan Date: Thu, 16 Aug 2018 09:19:53 +0100 X-Gmail-Original-Message-ID: Message-ID: To: caml-list@inria.fr Content-Type: multipart/alternative; boundary="00000000000037ea850573891c2d" X-Validation-by: sk826@cam.ac.uk Subject: [Caml-list] First CfP: JFP Special Issue on The Theory and Practice of Algebraic Effects and Handlers Reply-To: KC Sivaramakrishnan X-Loop: caml-list@inria.fr X-Sequence: 17026 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: --00000000000037ea850573891c2d Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D 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 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D ## 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 =E2=80=9CEffects and Handlers=E2=80=9D 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 --=20 Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs= --00000000000037ea850573891c2d Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

=
CALL FOR PAPERS

JFP Special Issue
o= n
The Theory and Practice of Algebraic Effects and Handlers
=

Submission Deadline: 18 January 2019
Expected= Publication Date: December 2019

=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D

## Scope

An important aspect of real-world languages is their support for computa= tional
effects such as raising exceptions, printing to the screen= , accessing a
database, non-determinism, and concurrency. In orde= r to reason about the
semantics of a programming language with co= mputational effects, it is necessary
to separate the effects out = from the rest of the language. To this end, algebraic
effects per= mit 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 nat= urally leads to a
novel treatment of handlers for all computation= al effects, not just for
exceptions.

Alg= ebraic effect handlers have been steadily gaining attention as a programmin= g
language feature since they generalise many control-flow abstra= ctions such as
exception handling, iterators, async/await, or bac= ktracking, while ensuring
that the composition of various feature= s remains well-behaved. Indeed, there
are implementations of alge= braic effects and effect handlers as libraries in C,
Clojure, F#,= Haskell, OCaml, Scala, JavaScript, as well as full-fledged
langu= ages such as Eff, Frank, Links, Koka, and Multicore OCaml. Algebraic effect=
handlers have also influenced the design of software tools in in= dustry
including Facebook's React UI library and Uber's P= yro probabilistic programming
language.

= To recognise and encourage the publication of mature research contributions= in
this area, a special issue of the Journal of Functional Progr= amming (JFP) will
be devoted to the same theme.

## Topics

Full-length, archival-quality su= bmissions are solicited on theoretical and=C2=A0
practical aspect= s of algebraic effects and handlers. Examples
include, but are no= t limited to:

* Reasoning about algebraic effects = and handlers (denotational semantics,
=C2=A0 dependent types, log= ical relations, language support for equational reasoning)
* Effe= ct typing (subtyping, row-polymorphism, generativity, encapsulation)
<= div>* Implementation of effect handlers (dynamic effects, selective CPS
=C2=A0 translations, delimited continuations)
* Applicatio= ns of algebraic effect handlers (probabilistic programming, event
=C2=A0 correlation, meta-programming, asynchronous I/O, debugging)

Reports on applications of these techniques to real-world= problems are
especially encouraged, as are submissions that rela= te ideas and concepts from
several of these topics, or bridge the= gap between theory and practice.

Papers will be r= eviewed 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 D= ecember 14, 2018,
to aid in identifying suitable reviewers. The s= ubmission deadline is January
18, 2019. The expected submission l= ength is 25-35 pages, excluding
bibliography and appendices. Shor= ter submissions are encouraged; prospective
authors of longer sub= missions should discuss their plans with the special issue
editor= s in advance.

Submissions that are based on previo= usly-published conference or workshop
papers must clearly describ= e the relationship with the initial publication, and
must differ = sufficiently that the author can assign copyright to Cambridge
Un= iversity 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.manuscriptcentr= al.com/cup/jfp_submit. Choose =E2=80=9CEffects and Handlers=E2=80=9D
as the paper type, so that it gets assigned to the special issue.

For other submission details, please consult an iss= ue of the Journal of
Functional Programming or see the Journal= 9;s web page at

## Ten= tative Schedule

* 14 December 2018: Expression of = interest
* 18 January 2019: Submission deadline
* 22 Ap= ril 2019: First round of reviews
* 23 August 2019: Revision deadl= ine
* 15 November 2019: Second round of reviews
* 13 De= cember 2019: Final accepted versions due

## Guest = Editors

* Andrej Bauer, Faculty of Mathematics and= Physics, University of Ljubljana
* KC Sivaramakrishnan, Departme= nt of Computer Science and Technology,
=C2=A0 University of Cambr= idge

## Editors in Chief

= * Jeremy Gibbons, Department of Computer Science, University of Oxford
* Matthias Felleisen, College of Computer and Information Science, No= rtheastern
=C2=A0 University
--00000000000037ea850573891c2d--