<div dir="ltr"><div><br></div><div>-----------------------------------------------------------------------------</div><div>                         CALL FOR PAPERS</div><div><br></div><div>                        JFP Special Issue</div><div>                                 on</div><div>                   Dependently typed Programming</div><div><br></div><div>                 Submission Deadline: January 11th, 2016</div><div>                  Expected Publication Date: Late 2016</div><div><br></div><div>-----------------------------------------------------------------------------</div><div><br></div><div><br></div><div># Scope</div><div><br></div><div>Over the last years there has been sustained interest in functional</div><div>programming languages with dependent types. The foundations of</div><div>dependently typed programming can be traced back to work by Martin-Löf</div><div>from the 1970s. More recently, the increased popularity of</div><div>systems such as Agda, Coq, Idris, and many others, reflects the</div><div>growing momentum in this research area.</div><div><br></div><div>The Journal of Functional Programming will devote a special issue to</div><div>programming with dependent types. The purpose of this special issue is</div><div>to present the state of the art in dependently typed programming</div><div>languages and their applications.</div><div><br></div><div>We would like to invite authors to submit papers on all topics</div><div>relating to programming languages with dependent types,</div><div>including theory, applications, and language design and implementation.</div><div><br></div><div>We encourage the submission of consolidated, condensed and extended</div><div>work based on prior conference and workshop publications.</div><div><br></div><div># Submission Details</div><div><br></div><div>Manuscripts should be submitted in PDF format through the Journal of</div><div>Functional Programming&#39;s website:</div><div><br></div><div>  <a href="https://mc.manuscriptcentral.com/cup/jfp_submit">https://mc.manuscriptcentral.com/cup/jfp_submit</a></div><div><br></div><div>Further submission and formatting details can be found on the JFP</div><div>website. Please submit your paper under the &#39;DTP Special issue&#39;</div><div>category.</div><div><br></div><div><br></div><div>Guest Editors</div><div>---------------------------------------------------------------------------------</div><div>Peter Dybjer</div><div><a href="mailto:peterd@chalmers.se">peterd@chalmers.se</a><span class="" style="white-space:pre">                                        </span></div><div>Chalmers University of Technology<span class="" style="white-space:pre">        </span></div><div>Sweden<span class="" style="white-space:pre">                                </span></div><div><br></div><div>Wouter Swierstra</div><div><a href="mailto:w.s.swierstra@uu.nl">w.s.swierstra@uu.nl</a></div><div>Universiteit Utrecht</div><div>The Netherlands</div><div>---------------------------------------------------------------------------------</div><div><br></div></div>