Blogs >>
ICFP 2017
Sun 3 - Sat 9 September 2017 Oxford, United Kingdom

0 results

People (2 results)
Michel Steuwer

Michel Steuwer

… …

Mark Jones

Mark Jones

Portland State University

… I am a Professor in the Department of Computer Science in the Maseeh College of Engineering & Computer Science at Portland State University in Portland, Oregon, USA.

My research interests include all aspects of programming language design …

Events (6 results)

On Polymorphic Gradual Typing

Research Papers People: Yuu Igarashi, Taro Sekiyama, Atsushi Igarashi

… . We prove that System F_G satisfies most of the criteria: all but the hardest … as a conjecture, we show that this property leads to the Jack-of-All-Trades property …

A Specification for Dependent Types in Haskell

Research Papers People: Stephanie Weirich, Antoine Voizard, Pedro Henrique Avezedo de Amorim, Richard A. Eisenberg

… that homogeneous equality is compatible with explicit equality proofs. All of our results …

Engineering a metaprogramming framework for formal verification

Research Papers People: Gabriel Ebner, Sebastian Ullrich, Jared Roesch, Jeremy Avigad, Leonardo de Moura

… Dependent type theory is a powerful framework for interactive theorem proving and automated reasoning, allowing us to encode mathematical objects, data type specifications, assertions, proofs, and programs, all in the same language. Here …

Gradual Typing with Union and Intersection Types

Research Papers People: Giuseppe Castagna, Victor Lanvin

… to deciding subtyping on non-gradual types and that the same holds true for all

Attending Information (4 results)

Student Volunteers

… Sign up to be a Student Volunteer and help us make ICFP 2017 a unique experience for all attendants!

ICFP is pleased to offer a number of opportunities ….).

The Student Volunteer registration covers:

  • Access to all workshops and the main …


… Accommodation for ICFP and FSCD will be in Oxford colleges. All the colleges provide ensuite rooms and are within a short walk of the venue. All prices include taxes (VAT); all rooms except at St Antony’s include breakfast. **Room blocks …

Student Travel Support

… There are many opportunities for students to get involved with the conference. Students needing financial support to attend the conference are encourage to apply to the following.

All students who receive travel support are asked to post …

Tracks (13 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 …

TyDe 2017

… types as a means of program development.

We welcome all contributions, both … is handled through HotCRP:

All submissions …

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 …

Homepage (13 results)

FHPC 2017 Homepage

… FHPC 2017 Welcome to the website of the FHPC 2017 conference. We are working hard to fill the website with all related information. Please check back soon! …

TyDe 2017 Homepage

… TyDe 2017 Welcome to the website of the TyDe 2017 conference. We are working hard to fill the website with all related information. Please check back soon! …

FARM 2017 Homepage

… FARM 2017 Welcome to the website of the FARM 2017 conference. We are working hard to fill the website with all related information. Please check back soon! …