#### ICFP Index

()Click this for a summary of the talks and their times

#### TensorFlow: Learning functions at Scale

()Monday 19th 0915-1015 AM (ICFP 2016)

#### ICFP 2016: Farms, pipes, streams and reforestation: Reasoning about structured parallel processes using types and hylomorphisms

()Monday 19th 1045-1110 AM (ICFP 2016)

#### Dag-Calculus: A calculus for parallel computation

()Monday 19th 1110-1135 AM (ICFP 2016)

#### A Lambda-Calculus foundation for universal probabilistic programming

()Monday 19th 1135-1200 AM (ICFP 2016)

#### Deriving a probability density calculator (Functional Pearl)

()Monday 19th 1200-1225 AM (ICFP 2016)

#### A new verified compiler backend for CakeML

()Monday 19th 1340-1405 PM (ICFP 2016)

#### Sequent calculus as a compiler intermediate language

()Monday 19th 1405-1430 PM (ICFP 2016)

#### Refinement through restraint: Bringing down the cost of verification

()Monday 19th 1430-1455 PM (ICFP 2016)

#### Fully abstract compilation via universal embedding

()Monday 19th 1515-1540 PM (ICFP 2016)

#### Oh Lord, please don't let contracts be misunderstood (Functional Pearl)

()Monday 19th 1540-1605 PM (ICFP 2016)

#### A type theory for incremental computational complexity with control flow changes

()Monday 19th 1605-1630 PM (ICFP 2016)

#### Compact bit encoding schemes for simply-typed lambda-terms

()Monday 19th 1700-1725 PM (ICFP 2016)

#### Queuing and glueing for optimal partitioning (Functional Pearl)

()Monday 19th 1725-1750 PM (ICFP 2016)

#### All sorts of permutations (Functional Pearl)

()Monday 19th 1750-1815 PM (ICFP 2016)

#### Journey to find bugs in JavaScript web applications in the wild

()Tuesday 20th 0915-1015 AM (ICFP 2016)

#### A glimpse of Hopjs

()Tuesday 20th 1035-1100 AM (ICFP 2016)

#### Experience report: Growing and shrinking polygons for random testing of computational geometry algorithms

()Tuesday 20th 1100-1125 AM (ICFP 2016)

#### Think like a vertex, behave like a function! A functional DSL for vertex-centric big graph processing

()Tuesday 20th 1125-1150 AM (ICFP 2016)

#### Datafun: A functional datalog

()Tuesday 20th 1150-1215 AM (ICFP 2016)

#### Dynamic witnesses for static type errors (or ill-typed programs usually go wrong)

()Tuesday 20th 1330-1355 PM (ICFP 2016)

#### Automatically disproving fair termination of higher-order functional programs

()Tuesday 20th 1355-1420 PM (ICFP 2016)

#### Higher-order ghost state

()Tuesday 20th 1420-1445 PM (ICFP 2016)

#### Unifiers as equivalences: proof relevant unification of dependently typed data

()Tuesday 20th 1505-1620 PM (ICFP 2016)

#### Elaborator reflection: extending Idris in Idris

()Tuesday 20th 1530-1555 PM (ICFP 2016)

#### Partial type equivalences for verified dependent interoperability

()Tuesday 20th 1555-1620 PM (ICFP 2016)

#### Constructive Galois connections: Taming the Galois connection framework for mechanized metatheory

()Tuesday 20th 1650-1715 PM (ICFP 2016)

#### An abstract memory functor for verified C static analyzers

()Tuesday 20th 1715-1740 PM (ICFP 2016)

#### Program Chair Report

()Tuesday 20th 1740-1750 PM (ICFP 2016)

#### Programming Contest Presentation

()Tuesday 20th 1750-1810 PM (ICFP 2016)

#### A functional programmer's guide to homotypy type theory

()Wednesday 21st 0915-1015 AM (ICFP 2016)

#### Ghostbuster: A tool for simplifying and converting GADTs

()Wednesday 21st 1035-1100 AM (ICFP 2016)

#### Indexed Codata Types

()Wednesday 21st 1100-1125 AM (ICFP 2016)

#### Disjoint intersection types

()Wednesday 21st 1125-1150 AM (ICFP 2016)

#### Set-theoretic types for polymorphic variants

()Wednesday 21st 1150-1215 AM (ICFP 2016)

#### Hierarchical memory management for parallel programs

()Wednesday 21st 1330-1355 PM (ICFP 2016)

#### Allocation characterizes polyvariance: A unified methodology for polyvariant control-flow analysis

()Wednesday 21st 1355-1420 PM (ICFP 2016)

#### A fully concurrent garbage collector for functional programs on multicore processors

()Wednesday 21st 1420-1445 PM (ICFP 2016)

#### Talking bananas: Structural recursion for session types

()Wednesday 21st 1505-1530 PM (ICFP 2016)

#### The best of both worlds: Linear functional programming without compromise

()Wednesday 21st 1530-1555 PM (ICFP 2016)

#### Context-free session types

()Wednesday 21st 1555-1620 PM (ICFP 2016)

#### Combining effects and coeffects via grading

()Wednesday 21st 1650-1715 PM (ICFP 2016)

#### String diagrams for free monads (Functional Pearl)

()Wednesday 21st 1715-1740 PM (ICFP 2016)

#### SRC Awards

()Wednesday 21st 1740-1755 PM (ICFP 2016)

#### ICFP Closing/Presentation

()Wednesday 21st 1755-1810 PM (ICFP 2016)