Write a Blog >>
ICFP 2016
Sun 18 - Sat 24 September 2016 Nara, Japan
Events (15 results)

All ICFP participants are welcome

Receptions When: Thu 22 Sep 2016 18:30 - 20:30

… …

All Sorts of Permutations (Functional Pearl)

Research Papers When: Mon 19 Sep 2016 17:50 - 18:15 People: Jan Christiansen, Nikita Danilenko, Sandra Dylus

… enumerates all permutations of the input list. We use free theorems, which …

Supermonads: One Notion to Bind Them All

Haskell When: Fri 23 Sep 2016 14:25 - 14:50 People: Jan Bracker, Henrik Nilsson

… of monadic functions that work uniformly with all of them.
As standard Haskell type …

Effective programming: bringing algebraic effects and handlers to OCaml

HOPE When: Sun 18 Sep 2016 09:15 - 10:15 People: Leo White

… eminently suitable for ensuring all algebraic effects are appropriately handled …

A Dependent Haskell Triptych

HIW When: Sat 24 Sep 2016 11:45 - 12:10 People: Richard A. Eisenberg

… of this talk is not to explain all of the details of any of these examples, nor …

Remote GHCi

HIW When: Sat 24 Sep 2016 15:20 - 15:45 People: Simon Marlow

… with all of the services that our production systems talk to, while having a nice …

Pattern Synonyms

Haskell When: Thu 22 Sep 2016 15:20 - 15:45 People: Matthew Pickering, Gergo Erdi, Simon Peyton Jones, Richard A. Eisenberg

to enforce any invariants. Any change in this data type requires all clients … to abstract over patterns, painting over all the shortcomings listed above …

Composable Caching in Swift

CUFP When: Sat 24 Sep 2016 15:20 - 15:45 People: Brandon Kase

… doesn’t just all go away, it’s just hidden. With an abstraction so nice …

How to Twist Pointers without Breaking Them

Haskell When: Thu 22 Sep 2016 12:10 - 12:35 People: Satvik Chauhan, Piyush Kurur, Brent Yorgey

… us to abstract all pointer arithmetic and size calculations into a few lines …

FitSpec: Refining Property Sets for Functional Testing

Haskell When: Thu 22 Sep 2016 09:25 - 09:50 People: Rudy Braquehais, Colin Runciman

… surviving mutants that pass all tests. The number of surviving
mutants and any …

Experience Report: Types for a Relational Algebra Library

Haskell When: Fri 23 Sep 2016 10:35 - 11:00 People: Marten Agren, Lennart Augustsson

… As part of our software toolkit at a major financial institution
we have a library for relational algebra.
This library is written in C++ and the type checking of the operations on the relations is very dynamic; all relations have …

A Functional Programmer's Guide to Homotopy Type Theory

Keynote Talks When: Wed 21 Sep 2016 09:15 - 10:15 People: Daniel R. Licata

… that all types in dependent type theory support a certain generic program that had … with computationally relevant witnesses of equality of elements of that type, and all … from groupoids (categories where all maps are invertible) to general categories …

Disjoint Intersection Types

Research Papers When: Wed 21 Sep 2016 11:25 - 11:50 People: Bruno C. d. S. Oliveira, Zhiyuan Shi, João Alpuim

… if
they do not share any common supertypes at all. The other two variants
introduce … are disjoint
for all three variants. …

Dynamic Witnesses for Static Type Errors (or, Ill-Typed Programs Usually Go Wrong)

Research Papers When: Tue 20 Sep 2016 13:30 - 13:55 People: Eric Seidel, Ranjit Jhala, Westley Weimer

… procedure synthesizes general witnesses in that if a witness is found, then for all

Ghostbuster: A Tool for Simplifying and Converting GADTs

Research Papers When: Wed 21 Sep 2016 10:35 - 11:00 People: Trevor L. McDonell, Timothy A. K. Zakian, Matteo Cimini, Ryan R. Newton

… Generalized Algebraic Dataypes, or simply GADTs, can encode non-trivial properties in the types of the constructors. Once such properties are encoded in a datatype, however, all code manipulating that datatype must provide proof …