Blogs (27) >>
ICFP 2017
Sun 3 - Sat 9 September 2017 Oxford, United Kingdom
Tracks (14 results)

FSCD 2017

… The Second International Conference on Formal Structures for Computation and Deduction is co-located with ICFP 2017.

You can find all information at http://www.cs.ox.ac.uk/conferences/fscd2017/. …

ML 2017

… others. All ML languages share several fundamental traits, besides a good deal … systems, metaprogramming). The scope of the workshop includes all aspects … Andrews, UK)

State machines all the way down

A useful pattern …

HOPE 2017

… . They are dedicated to John Reynolds, whose work is an inspiration to us all.

The 6th ACM … in talks on all topics related to the interaction of higher-order programming …

TyDe 2017

… types as a means of program development.

We welcome all contributions, both …/

All submissions should be in portable document format (PDF) and formatted …

Workshop on Functional High-Performance Computing

… implementations.

All aspects of performance critical programming and parallel … implementations.

All aspects of performance critical programming and parallel programming …

Workshop on Functional Art, Music, Modeling and Design

… or the arts are all within the scope of the workshop. The language used need …:

  • Original research
  • Overview / state of the art
  • Technology tutorial

All … retain all rights to the auxiliary material.

2) Demo proposals

Demo proposals …

Haskell 2017

… value and will not be distinguished in the proceedings. Although all papers may … * Demo proposal: 2 pages

There is no requirement that all pages are used ….

All accepted papers and proposals will be posted on the conference website one …

OCaml 2017

… language and its community. We aim to solicit talks on all aspects related …

Haskell Implementors' Workshop

… by all means submit a proposal even if it doesn’t fit exactly into one …

CUFP 2017

… doesn’t work. Even when the results were all great, you should spend more time …

Student Research Competition

… **: All students are encouraged to submit an extended abstract outlining …, $300, and $200, respectively. * All six winners will receive award medals … to the Annual ACM Awards Banquet for an all-expenses-paid trip, where …

Social Events

… Arts, which is open to all ICFP participants.

In addition, the historic St …

Research Papers

… of functional programming. Submissions are invited on all topics from principles …. The scope includes all languages that encourage functional programming … paper, and interpretable by common PDF tools. All submissions must adhere …

Artifact Evaluation

… the paper’s conclusions can take many forms, including any or all of the following … will follow all the steps in the guide during an initial phase of the evaluation period … experiments at all) please contact the Co-chairs to see if arrangements can be made …