14:59

Stable Relations and Abstract Interpretation of Higher-Order Programs (ICFP 2020)

ACM SIGPLAN

14:08

Higher-Order Demand-Driven Symbolic Evaluation (ICFP 2020)

ACM SIGPLAN

14:33

Sparcl: A Language for Partially-Invertible Computation (ICFP 2020)

ACM SIGPLAN

15:00

SteelCore: An Extensible Concurrent Separation Logic for Effectful Dependently Typed ... (ICFP 2020)

ACM SIGPLAN

14:41

TLC: Temporal Logic of Distributed Components (ICFP 2020)

ACM SIGPLAN

14:53

Effect Handlers, Evidently (ICFP 2020)

ACM SIGPLAN

14:10

Achieving High-Performance the Functional Way - A Functional Pearl on Expressing High... (ICFP 2020)

ACM SIGPLAN

14:55

Staged Selective Parser Combinators (ICFP 2020)

ACM SIGPLAN

14:57

Kindly Bent to Free Us (ICFP 2020)

ACM SIGPLAN

15:09

Sealing Pointer-Based Optimizations Behind Pure Functions (ICFP 2020)

ACM SIGPLAN

12:53

Effects for Efficiency: Asymptotic Speedup with First-Class Control (ICFP 2020)

ACM SIGPLAN

12:55

Computation Focusing (ICFP 2020)

ACM SIGPLAN

15:05

Retrofitting Parallelism onto Ocaml (ICFP 2020)

ACM SIGPLAN

15:10

Liquid Information Flow Control (ICFP 2020)

ACM SIGPLAN

11:23

A theory of RPC calculi for client–server model (ICFP 2020)

ACM SIGPLAN

10:59

The full-reducing Krivine abstract machine KN simulates pure normal-order reduction i... (ICFP 2020)

ACM SIGPLAN

11:18

Local algebraic effect theories (ICFP 2020)

ACM SIGPLAN

11:29

Heterogeneous binary random-access lists (ICFP 2020)

ACM SIGPLAN

10:44

POPLMark reloaded: Mechanizing proofs by logical relations (ICFP 2020)

ACM SIGPLAN

11:19

Perturbation confusion in forward automatic differentiation of higher-order functions (ICFP 2020)

ACM SIGPLAN

10:58

Elastic Sheet-Defined Functions: Generalising Spreadsheet Functions to Variable-Size ... (ICFP 2020)

ACM SIGPLAN

14:03

Emerging languages: An alternative approach to teaching programming languages (ICFP 2020)

ACM SIGPLAN

14:39

The Simple Essence of Algebraic Subtyping: Principal Type Inference with Subtyping Ma... (ICFP 2020)

ACM SIGPLAN

15:26

Liquid Resource Types (ICFP 2020)

ACM SIGPLAN

14:57

Cosmo: A Concurrent Separation Logic for Multicore Ocaml (ICFP 2020)

ACM SIGPLAN

14:39

Composing and Decomposing Op-Based CRDTs with Semidirect Products (ICFP 2020)

ACM SIGPLAN

13:24

A Quick Look at Impredicativity (ICFP 2020)

ACM SIGPLAN

12:00

A Unified View of Modalities in Type Systems (ICFP 2020)

ACM SIGPLAN

14:09

Lower Your Guards: A Compositional Pattern-Match Coverage Checker (ICFP 2020)

ACM SIGPLAN

15:17

Signature restriction for polymorphic algebraic effects (ICFP 2020)

ACM SIGPLAN

14:53

Denotational Recurrence Extraction for Amortized Analysis (ICFP 2020)

ACM SIGPLAN

13:25

Separation Logic for Sequential Programs (Functional Pearl) (ICFP 2020)

ACM SIGPLAN

14:26

Strong Functional Pearl: Harper's Regular-Expression Matcher in Cedille (ICFP 2020)

ACM SIGPLAN

14:40

Duplo: A Framework for OCaml Post-Link Optimisation (ICFP 2020)

ACM SIGPLAN

14:14

Recovering Purity with Comonads and Capabilities (ICFP 2020)

ACM SIGPLAN

14:33

A General Approach to Define Binders Using Matching Logic (ICFP 2020)

ACM SIGPLAN

14:58

Parsing with Zippers (Functional Pearl) (ICFP 2020)

ACM SIGPLAN

14:53

Regular Language Type Inference with Term Rewriting (ICFP 2020)

ACM SIGPLAN

12:18

Compiling Effect Handlers in Capability-Passing Style (ICFP 2020)

ACM SIGPLAN

13:45

Scala Step-by-Step — Soundness for DOT with Step-Indexed Logical Relations in Iris (ICFP 2020)

ACM SIGPLAN

13:50

A dependently typed calculus with pattern matching and erasure inference (ICFP 2020)

ACM SIGPLAN

15:02

Raising Expectations: Automating Expected Cost Analysis with Types (ICFP 2020)

ACM SIGPLAN

14:33

Program Sketching with Live Bidirectional Evaluation (ICFP 2020)

ACM SIGPLAN

15:01

Elaboration with First-Class Implicit Function Types (ICFP 2020)

ACM SIGPLAN

15:00

Kinds are Calling Conventions (ICFP 2020)

ACM SIGPLAN