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

State machines all the way down

ML 2017 When: Thu 7 Sep 2017 09:05 - 10:00 People: Edwin Brady

… …

Higher-order Programming is an Effect

HOPE 2017 When: Sun 3 Sep 2017 10:30 - 11:00 People: Oleg Kiselyov

… , is an effect as well. The (lexical) closure acts as a handler of all ….

All in all, higher-order programming is essentially first-order single …

In medias res: WIP discussion

Erlang 2017 When: Fri 8 Sep 2017 17:20 - 17:50

… NOTE: Tentative agenda

Open discussion of works-in-progress (WIPs) in research and new developments in industry & open source communities for all BEAM languages (Erlang, Elixir, LFE, and others) as well as actor-based systems (Akka …

Generic packet descriptions: verified parsing and pretty printing of low-level data

TyDe 2017 When: Sun 3 Sep 2017 10:30 - 11:00 People: Marcell van Geest, Wouter Swierstra

… once and for all that the parsers and pretty printers generated in this style …

Towards abductive functional programming

ML 2017 When: Thu 7 Sep 2017 14:50 - 15:15 People: Koko Muroya

… Abductive reasoning is a form of logical inference which seeks to uncover all possible causes of an observation. We show how abduction has a computational counterpart, like many other proof-theoretic concepts: namely the identification …

In Search of a Map: using Program Slicing to Discover Potential Parallelism in Recursive Functions

FHPC 2017 When: Thu 7 Sep 2017 14:00 - 14:30 People: Adam Barwell, Kevin Hammond

… from the standard Haskell Prelude. In all cases, we obtain the expected results …

Strategies for Regular Segmented Reductions on GPU

FHPC 2017 When: Thu 7 Sep 2017 14:30 - 15:00 People: Rasmus Wriedt Larsen, Troels Henriksen

… compiler that is able to employ all three strategies and automatically select …

Distributed Memory Architecture for High-Level Synthesis of Embedded Controllers from Erlang

Erlang 2017 When: Fri 8 Sep 2017 14:00 - 14:25 People: Kagumi Azuma, Nagisa Ishiura, Nobuaki Yoshida, Hiroyuki Kanbara

… potentially accessed by all the circuits for the processes simultaneously …

Quantified Class Constraints

Haskell 2017 When: Fri 8 Sep 2017 14:30 - 15:00 People: Gert-Jan Bottu, Georgios Karachalias, Tom Schrijvers, Bruno C. d. S. Oliveira, Philip Wadler

… or studied in depth. Instead, several workarounds have been proposed, all of which …

Elaboration on Functional Dependencies

Haskell 2017 When: Fri 8 Sep 2017 14:00 - 14:30 People: Georgios Karachalias, Tom Schrijvers

… elaboration strategy which allows all well-typed programs to be elaborated into System …

Ode on a Random Urn (Functional Pearl)

Haskell 2017 When: Thu 7 Sep 2017 12:00 - 12:30 People: Leonidas Lampropoulos, Antal Spector-Zabusky, Kenneth Foner

… at all times using a single machine word of overhead: its size.

Urns provide …

Using Coq to Write Fast and Correct Haskell

Haskell 2017 When: Thu 7 Sep 2017 15:30 - 16:00 People: John Wiegley, Benjamin Delaware

… , straightforward code must all too often be replaced by highly optimized variants …

The State of the OCaml Platform: September 2017

OCaml 2017 When: Fri 8 Sep 2017 09:40 - 10:05 People: Anil Madhavapeddy

… . The goal of the talk is to place all of these projects into the context …

Keynote: Are We There Yet?

CUFP 2017 When: Sat 9 Sep 2017 09:10 - 09:35 People: Bodil Stokke

… are even architects. But do we have any idea at all? Let’s examine what we’ve …

Tutorial C8: GraphQL Servers in OCaml

CUFP 2017 When: Fri 8 Sep 2017 14:00 - 15:00 People: Andreas Garnæs

… REST, types are front and center in GraphQL: all input and output types must …

Tutorial C4: Git under the hood with OCaml

CUFP 2017 When: Thu 7 Sep 2017 14:00 - 15:00 People: Romain Calascibetta

… and modify local Git repositories (all Git object kinds are supported, including …

Using Haskell to run a datacenter

CUFP 2017 When: Sat 9 Sep 2017 15:30 - 15:55 People: Pavlo Kerestey

… the datacenter with all the production code written in Haskell since. The main benefit …

Using Functional Programming to Accelerate Translational Research at Pfizer

CUFP 2017 When: Sat 9 Sep 2017 17:15 - 17:40 People: Austin Huang

… programming at all stages of the workflow. The first stage is data acquisition, where … is an unusual setting for this, we used functional programming technologies at all

Interfacing OCaml and Rust: picking the right tool for the job

CUFP 2017 When: Sat 9 Sep 2017 10:30 - 10:55 People: Joris Giovannangeli

… the C API, breaking all abstractions and type safety and making polymorphism hard …

On Polymorphic Gradual Typing

Research Papers When: Wed 6 Sep 2017 15:23 - 15:46 People: Yuu Igarashi, Taro Sekiyama, Atsushi Igarashi

… that System F_G satisfies most of the criteria: all but the hardest property … guarantee leads to the Jack-of-All-Trades property, conjectured as an important …

Gradual Typing with Union and Intersection Types

Research Papers When: Wed 6 Sep 2017 15:46 - 16:10 People: Giuseppe Castagna, Victor Lanvin

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

FARM Evening Of Algorithmic Arts

Social Events When: Sat 9 Sep 2017 19:30 - 22:00

… ).

This event is organized by the FARM workshop, but it is open to all ICFP …

Local Refinement Typing

Research Papers When: Tue 5 Sep 2017 15:46 - 16:10 People: Benjamin Cosman, Ranjit Jhala

… precise refinement types for all intermediate terms (expressible in the decidable …

A Metaprogramming Framework for Formal Verification

Research Papers When: Wed 6 Sep 2017 11:37 - 12:00 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 …

A Specification for Dependent Types in Haskell

Research Papers When: Wed 6 Sep 2017 10:30 - 10:52 People: Stephanie Weirich, Antoine Voizard, Pedro Henrique Azevedo de Amorim, Richard A. Eisenberg

… , suitable for implementation in GHC. All of our results—chiefly, type safety …

Ten Years of Clojure -- FP Out of the Box

Keynotes and Reports People: Rich Hickey

… of professional experience in all facets of software development. Rich has worked …

Parametric Quantifiers for Dependent Type Theory

Research Papers When: Wed 6 Sep 2017 10:52 - 11:15 People: Andreas Nuyts, Andrea Vezzosi, Dominique Devriese

… allows the metatheoretical derivation of parametricity theorems about all values …