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 (2 results)

Accommodation

… 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 …

Travel to Oxford

… ://airline.oxfordbus.co.uk/), which runs up to every 20 minutes all day and night. Board … conveniently comes down Banbury Road close to all the college accommodation …, and Royal Cars on 01865 777333. All

Tracks (12 results)

TyDe 2017

… types as a means of program development.

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

https://icfp-tyde17.hotcrp.com/

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 …

Workshop on Functional High-Performance Computing

… ) imperative implementations.

All aspects of performance critical programming …-oriented imperative implementations.

All aspects of performance critical programming …

Homepage (12 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! …