18:36

Extended Abstract: F# OpenCL Type Providertalk

20:54

Typing, Representing, and Abstracting Control: Functional Pearl

23:50

Sums of Products for Mutually Recursive Datatypes

23:52

Implementing Resource-Aware Safe Assembly for Kernel Probes as a Dependently-Typed DSL

24:35

Extended Abstract: CoExtended Abstract: Comprehending Monoids with Class

25:35

Generalized Abstract GHC.Generics

24:23

State of GHC

24:24

Type-level visible type application

23:15

Clash: A Practical Haskell to Circuit Compiler

20:59

Coercion Quantification

23:31

Pier: Yet another Haskell build tool

23:59

Source Plugins

28:13

Implementing Linear Haskell

32:31

Ghosts of Departed Proofs (Functional Pearl)

31:42

Embedding Invertible Languages with Binders

28:54

Rhine: FRP with Type-Level Clocks

31:57

A High-Performance Multicore IO Manager Based on libuv (Experience Report)

45:28

Gibbon: A Compiler for Recursive Functions on mostly Serialized Data

52:40

Modular Acceleration: Tricky Cases of Functional High-Performance Computing

44:25

Comparing Strategies for Lightweight Threading Based on Continuations

59:25

HELIX: A Case Study of a Formal Verification of High Performance Program Generation

41:26

Preventing Data Races with Refinement Types

39:33

A domain theory for statistical probabilistic programming

42:46

Finding fixed points faster

38:13

A Metalanguage for Guarded Iteration

48:21

Functional programming with MLTS

1:01:42

A preview of a tutorial on L (polarized μμ̃)

42:02

Taming Control Flow through Linear Effect Handlers

22:00

Winning on Windows: porting the OCaml platform

22:41

MLExplain

19:30

R&B: Towards bringing functional programming to everyday's web programmer

21:36

Relit: Implementing Typed Literal Macros in Reason

21:16

Wall: rendering vector graphics with OCaml and OpenGL

34:22

Dependent Types

30:27

Gradual Typing

31:20

Constraint Solvers for the Working PL Researcher

34:27

How to write a great research paper

30:56

I am a Young Assistant Professor AMA

33:02

(An Opinionated Talk) On Preparing Good Talks

54:48

Keynote: Cross-Platform Language Design in Scala.js

29:13

A Promise Checked Is a Promise Kept: Inspection Testing

26:52

DerivingVia: How to Turn Hand-Written Instances into an Anti-Pattern

33:42

Coherent Explicit Dictionary Application for Haskell

30:41

Suggesting Valid Hole Fits for Typed-Holes (Experience Report)

23:31

A Haskell Interface to SUNDIALS via inline-c

33:36

Exact Real Arithmetic for Geometry

30:16

On the Calculation of Functions in the Algebra of Physical Space

33:31

Error analysis almost for free

1:04:21

Daisy - A framework for sound accuracy analysis and optimization of numerical programs

35:36

APLicative Programming with Naperian Functors

25:59

Hasktorch: A Comprehensive Haskell Library for Differentiable Functional Programming

43:03

Manifolds as Haskell types

28:16

Typing the Wild in Erlang

22:07

Modeling Erlang Processes as Petri Nets

26:47

Modelling Distributed Erlang within a Single Node

29:16

iDeA: immersive Debugger for Actors

1:14:29

Keynote: Distributed Erlang: From Datacenter Applications to Planetary Scale Applications

30:51

Automatic Detection of Core Erlang Message Passing Errors

21:35

Towards Secure Erlang Systems

30:38

Understanding Formal Specifications through Good Examples

24:11

Extending Scala with Records: Design, Implementation, and Evaluation

22:53

Garnishing Parsec with Parsley

20:35

Parser Combinators for Context-Free Path Querying

22:48

A DSL for Microservices

22:34

Path Dependent Types with Path-Equality

23:31

Rust Distilled: An Expressive Tower of Languages

25:33

Generic Programming with Combinators and Objects

47:12

Programming with Abstract Algebraic Effects

59:42

ELPI: an extension language with binders and unification variables (Invited talk)

24:01

Disornamentation

27:34

ML as a Tactic Language, Again

22:16

Safely Mixing OCaml and Rust

28:47

Experience Report: Type-Safe Multi-Tier Programming with Standard ML Modules

9:28

Resource Guided Program Synthesis

7:56

Type Inference for Monotonicity

10:25

Denotational Semantics for Differentiable Programming with Manifolds

9:32

Bidirectional Type Class Instances

21:57

Graduality from Embedding-Projection Pairs

20:59

Handling Delimited Continuations with Dependent Types

1:02:36

ICFP 2018 Keynote Address: Gradual Typing

32:20

2018 ICFP Programming Contest

20:21

Incremental Relational Lenses

22:26

Keep Your Laziness in Check

21:39

Merlin - A Language Server for OCaml

21:42

MoSeL - A General, Extensible Modal Framework for Interactive Proofs in Separation Logic

21:14

Mtac2 - Typed Tactics for Backward Reasoning in Coq

23:55

Parallel Complexity Analysis with Temporal Session Types

21:03

Parametric Polymorphism and Operational Improvement

10:18

ICFP 2018 Program Chair's Report

21:14

Prototyping a Functional Language using Higher-Order Logic Programming

21:41

Ready, Set, Verify! Applying hs-to-coq to Real-World Haskell Code

25:05

Reasonably Programmable Literal Notation

18:43

Refunctionalization of Abstract Abstract Machines

22:07

Relational Algebra by Way of Adjunctions

22:44

Report on ICFP and Climate Change

11:15

SIGPLAN Awards & Student Research Competition Awards

24:07

Static Interpretation of Higher-Order Modules in Futhark - Functional GPU Programming in the Large

21:57

Strict and Lazy Semantics for Effects - Layering Monads and Comonads

23:40

Synthesizing Quotient Lenses

22:22

Teaching How to Program using Automated Assessment and Functional Glossy Games