Proceedings of the 23rd International Conference on Functional Programming
ICFP-2018, 2018.

@proceedings{ICFP-2018,
	journal       = "{Proceedings of the ACM on Programming Languages}",
	month         = "September",
	number        = "ICFP",
	title         = "{Proceedings of the 23rd International Conference on Functional Programming}",
	volume        = 2,
	year          = 2018,
}

Contents (40 items)

ICFP-2018-BourRS #case study #experience #ml #named

Merlin: a language server for OCaml (experience report) (FB, TR, GS), p. 15.

ICFP-2018-BreitnerSLRWW #case study #exclamation #experience #haskell #set #verification

Ready, set, verify! applying hs-to-coq to real-world Haskell code (experience report) (JB, ASZ, YL0, CR, JW, SW), p. 16.

ICFP-2018-AlmeidaCM0P #assessment #automation #case study #education #experience #functional #game studies #how #using

Teaching how to program using automated assessment and functional glossy games (experience report) (JBA, AC, NM, HP0, JP), p. 17.

ICFP-2018-YorgeyF #difference #functional #what

What's the difference? a functional pearl on subtracting bijections (BAY, KF), p. 21.

ICFP-2018-HackettH #morphism #parametricity #polymorphism

Parametric polymorphism and operational improvement (JH, GH), p. 24.

ICFP-2018-KeidelPE #composition #proving

Compositional soundness proofs of abstract interpreters (SK, CBP, SE), p. 26.

ICFP-2018-BoisseauG #functional #what

What you needa know about Yoneda: profunctor optics and the Yoneda lemma (functional pearl) (GB, JG), p. 27.

ICFP-2018-GibbonsHHW #algebra #relational

Relational algebra by way of adjunctions (JG, FH, RH, NW), p. 28.

ICFP-2018-WeiDR #automaton #functional

Refunctionalization of abstract abstract machines: bridging the gap between abstract abstract machines and abstract definitional interpreters (functional pearl) (GW, JMD, TR), p. 28.

ICFP-2018-Elliott #automation #difference

The simple essence of automatic differentiation (CE), p. 29.

ICFP-2018-KoppelSS #functional #game studies

Capturing the future by replaying the past (functional pearl) (JK, GS, ASL), p. 29.

ICFP-2018-MainaMFPWZ #lens

Synthesizing quotient lenses (SM, AM, KF, BCP, DW, SZ), p. 29.

ICFP-2018-MokhovMJ

Build systems à la carte (AM, NM, SPJ), p. 29.

ICFP-2018-OhoriUM #compilation #morphism #optimisation #polymorphism

Finitary polymorphism for optimizing type-directed compilation (AO, KU, HM), p. 29.

ICFP-2018-ScibiorKG #composition #functional #programming

Functional programming for modular Bayesian inference (AS, OK, ZG), p. 29.

ICFP-2018-TabareauTS #effectiveness #for free #parametricity

Equivalences for free: univalent parametricity for effective transport (NT, ÉT, MS), p. 29.

ICFP-2018-AccattoliGK #bound

Tight typings and split bounds (BA, SGL, DK), p. 30.

ICFP-2018-AllaisA0MM #proving #semantics

A type and scope safe universe of syntaxes with binding: their semantics and proofs (GA, RA, JC0, CM, JM), p. 30.

ICFP-2018-Campora0W #performance #safety #type system

Casts and costs: harmonizing safety and performance in gradual typing (JPCI, SC0, EW), p. 30.

ICFP-2018-CockxA #pattern matching

Elaborating dependent (co)pattern matching (JC, AA0), p. 30.

ICFP-2018-Das0P #analysis #complexity #parallel

Parallel complexity analysis with temporal session types (AD, JH0, FP), p. 30.

ICFP-2018-DiehlFS #dependent type #low cost #reuse

Generic zero-cost reuse for dependent types (LD, DF, AS), p. 30.

ICFP-2018-ElsmanHAO #functional #gpu #higher-order #in the large #programming

Static interpretation of higher-order modules in Futhark: functional GPU programming in the large (ME, TH, DA, CEO), p. 30.

ICFP-2018-FonerZL #lazy evaluation

Keep your laziness in check (KF, HZ, LL), p. 30.

ICFP-2018-HirschT #lazy evaluation #monad #semantics #strict

Strict and lazy semantics for effects: layering monads and comonads (AKH, RT), p. 30.

ICFP-2018-HornPC #incremental #lens #relational

Incremental relational lenses (RH, RP, JC), p. 30.

ICFP-2018-KissPW #traversal

Generic deriving of generic traversals (CK, MP, NW), p. 30.

ICFP-2018-KrebbersJ0TKTCD #framework #interactive #logic #named #proving

MoSeL: a general, extensible modal framework for interactive proofs in separation logic (RK, JHJ, RJ0, JT, JOK, AT, AC, DD), p. 30.

ICFP-2018-MullerA0 #parallel

Competitive parallelism: getting your priorities right (SKM, UAA, RH0), p. 30.

ICFP-2018-NewA

Graduality from embedding-projection pairs (MSN, AA), p. 30.

ICFP-2018-Perez #fault tolerance #functional #programming

Fault tolerant functional reactive programming (functional pearl) (IP0), p. 30.

ICFP-2018-StampoulisC #functional #higher-order #learning #logic programming #prolog #prototype #using

Prototyping a functional language using higher-order logic programming: a functional pearl on learning the ways of λProlog/Makam (AS, AC), p. 30.

ICFP-2018-WandCGC #equivalence #probability #random #recursion

Contextual equivalence for a probabilistic language with continuous random variables and recursion (MW, RC, TG, AC), p. 30.

ICFP-2018-YallopGK #algebra

Partially-static data as free extension of algebras (JY, TvG, OK), p. 30.

ICFP-2018-BracevacASEEM #algebra #correlation

Versatile event correlation with algebraic effects (OB, NA, GS, SE, PE, MM), p. 31.

ICFP-2018-CongA #continuation #dependent type

Handling delimited continuations with dependent types (YC, KA), p. 31.

ICFP-2018-KaiserZKRD #coq #named #reasoning

Mtac2: typed tactics for backward reasoning in Coq (JOK, BZ, RK, YRG, DD), p. 31.

ICFP-2018-NandiWPBGT #compilation #design #functional #programming

Functional programming for compiling and decompiling computer-aided design (CN, JRW, PP, TB, DG, ZT), p. 31.

ICFP-2018-GreenmanF #performance

A spectrum of type soundness and performance (BG, MF), p. 32.

ICFP-2018-OmarA #programmable

Reasonably programmable literal notation (CO, JA), p. 32.