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