[Agda] CFP: Special issue of JFP on dependently typed programming

Wouter Swierstra w.s.swierstra at uu.nl
Mon Oct 5 09:56:20 CEST 2015


-----------------------------------------------------------------------------
                         CALL FOR PAPERS

                        JFP Special Issue
                                 on
                   Dependently typed Programming

                 Submission Deadline: January 11th, 2016
                  Expected Publication Date: Late 2016

-----------------------------------------------------------------------------


# Scope

Over the last years there has been sustained interest in functional
programming languages with dependent types. The foundations of
dependently typed programming can be traced back to work by Martin-Löf
from the 1970s. More recently, the increased popularity of
systems such as Agda, Coq, Idris, and many others, reflects the
growing momentum in this research area.

The Journal of Functional Programming will devote a special issue to
programming with dependent types. The purpose of this special issue is
to present the state of the art in dependently typed programming
languages and their applications.

We would like to invite authors to submit papers on all topics
relating to programming languages with dependent types,
including theory, applications, and language design and implementation.

We encourage the submission of consolidated, condensed and extended
work based on prior conference and workshop publications.

# Submission Details

Manuscripts should be submitted in PDF format through the Journal of
Functional Programming's website:

  https://mc.manuscriptcentral.com/cup/jfp_submit

Further submission and formatting details can be found on the JFP
website. Please submit your paper under the 'DTP Special issue'
category.


Guest Editors
---------------------------------------------------------------------------------
Peter Dybjer
peterd at chalmers.se
Chalmers University of Technology
Sweden

Wouter Swierstra
w.s.swierstra at uu.nl
Universiteit Utrecht
The Netherlands
---------------------------------------------------------------------------------
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20151005/0937f586/attachment.html


More information about the Agda mailing list