Proceedings of the 22nd International Conference on Functional Programming
ICFP-2017, 2017.

@proceedings{ICFP-2017,
	journal       = "{Proceedings of the ACM on Programming Languages}",
	month         = "September",
	number        = "ICFP",
	title         = "{Proceedings of the 22nd International Conference on Functional Programming}",
	volume        = 1,
	year          = 2017,
}

Contents (44 items)

ICFP-2017-AuerbachHMSS #case study #compilation #coq #experience #prototype #query #using

Prototyping a query compiler using Coq (experience report) (JSA, MH, LM, AS, JS), p. 15.

ICFP-2017-BreitnerS #case study #experience #game studies #simulation

Lock-step simulation is child's play (experience report) (JB, CS), p. 15.

ICFP-2017-St-AmourFFYF #functional

Herbarium Racketensis: a stroll through the woods (functional pearl) (VSA, DF, SPF, SHY, RBF), p. 15.

ICFP-2017-Bernardy #functional

A pretty but not greedy printer (functional pearl) (JPB), p. 21.

ICFP-2017-MidtgaardJKNN #compilation

Effect-driven QuickChecking of compilers (JM, MNJ, PK, FN, HRN), p. 23.

ICFP-2017-Spivey #performance #pipes and filters

Faster coroutine pipelines (JMS), p. 23.

ICFP-2017-CanouCH #education #functional #ml #programming #scalability

Scaling up functional programming education: under the hood of the OCaml MOOC (BC, RDC, GH), p. 25.

ICFP-2017-DaraisLNH #functional

Abstracting definitional interpreters (functional pearl) (DD, NL, PCN, DVH), p. 25.

ICFP-2017-DavisMS #continuation #functional

No-brainer CPS conversion (functional pearl) (MD, WM, OS), p. 25.

ICFP-2017-Elliott #algorithm #functional #parallel

Generic functional parallel algorithms: scan and FFT (CE), p. 25.

ICFP-2017-NarayananS #array #probability #source code

Symbolic conditioning of arrays in probabilistic programs (PN, CcS), p. 25.

ICFP-2017-ByrdBRM #approach #functional #problem #programming

A unified approach to solving seven programming problems (functional pearl) (WEB, MB, GR, MM), p. 26.

ICFP-2017-Mainland #compilation #optimisation #protocol #semantics

Better living through operational semantics: an optimizing compiler for radio protocols (GM), p. 26.

ICFP-2017-CosmanJ #refinement #type system

Local refinement typing (BC, RJ), p. 27.

ICFP-2017-Elliott17a #category theory #compilation

Compiling to categories (CE), p. 27.

ICFP-2017-OwensNKMT #performance #verification

Verifying efficient function calls in CakeML (SO, MN, RK, MOM, YKT), p. 27.

ICFP-2017-PerezN #debugging #functional #programming #testing

Testing and debugging functional reactive programming (IP0, HN), p. 27.

ICFP-2017-AhmedJSW #for free #parametricity #theorem

Theorems for free for free: parametricity, with and without types (AA, DJ, JGS, PW), p. 28.

ICFP-2017-CastagnaL #type system

Gradual typing with union and intersection types (GC, VL), p. 28.

ICFP-2017-Hamana #algebra #calculus #decidability #higher-order #how

How to prove your calculus is decidable: practical applications of second-order algebraic theories and computation (MH), p. 28.

ICFP-2017-IgarashiTVW

Gradual session types (AI, PT0, VTV, PW), p. 28.

ICFP-2017-MorrisE #product line

Constrained type families (JGM, RAE), p. 28.

ICFP-2017-PombrioKW

Inferring scope through syntactic sugar (JP, SK, MW), p. 28.

ICFP-2017-Pottier

Visitors unchained (FP), p. 28.

ICFP-2017-Puente #persistent

Persistence for the masses: RRB-vectors in a systems language (JPBP), p. 28.

ICFP-2017-RicciottiSPC #functional #imperative #source code

Imperative functional programs that explain their work (WR, JS, RP, JC), p. 28.

ICFP-2017-WayeCD #contract #higher-order #named

Whip: higher-order contracts for modern services (LW, SC, CD), p. 28.

ICFP-2017-WeitzLHTET #library #named #tool support #verification

SpaceSearch: a library for building and verifying solver-aided tools (KW, SL, SH, ET, MDE, ZT), p. 28.

ICFP-2017-AguirreBGGS #higher-order #logic #relational #source code

A relational logic for higher-order programs (AA, GB, MG, DG, PYS), p. 29.

ICFP-2017-AndersenCF #functional

Super 8 languages for making movies (functional pearl) (LA, SC, MF), p. 29.

ICFP-2017-AvanziniL #analysis #automation #complexity #type inference

Automating sized-type inference for complexity analysis (MA, UDL), p. 29.

ICFP-2017-BalabonskiBBK #call-by

Foundations of strong call by need (TB, PB, EB, DK), p. 29.

ICFP-2017-BalzerP

Manifest sharing with session types (SB, FP), p. 29.

ICFP-2017-EbnerURAM #framework #metaprogramming #verification

A metaprogramming framework for formal verification (GE, SU0, JR, JA, LdM), p. 29.

ICFP-2017-ForsterKLP #monad #on the #power of

On the expressive power of user-defined effects: effect handlers, monadic reflection, delimited control (YF, OK, SL, MP), p. 29.

ICFP-2017-IgarashiSI #on the #polymorphism #type system

On polymorphic gradual typing (YI, TS, AI), p. 29.

ICFP-2017-MelgrattiP #contract #higher-order

Chaperone contracts for higher-order sessions (HCM, LP), p. 29.

ICFP-2017-NuytsVD #dependent type #parametricity #quantifier #type system

Parametric quantifiers for dependent type theory (AN, AV, DD), p. 29.

ICFP-2017-ProtzenkoZRRWBD #embedded #low level #programming

Verified low-level programming embedded in F (JP, JKZ, AR, TR, PW, SZB, ADL, CH, KB, CF, NS), p. 29.

ICFP-2017-WeirichVAE #dependent type #haskell #specification

A specification for dependent types in Haskell (SW, AV, PHAdA, RAE), p. 29.

ICFP-2017-Winograd-CortHR #adaptation #difference #framework #privacy

A framework for adaptive differential privacy (DWC, AH, AR0, BCP), p. 29.

ICFP-2017-Yallop #programming #staged

Staged generic programming (JY), p. 29.

ICFP-2017-AbelVW #dependent type #evaluation #normalisation

Normalization by evaluation for sized dependent types (AA, AV, TW), p. 30.

ICFP-2017-ChoiVSCA #composition #framework #hardware #named #parametricity #platform #specification #verification

Kami: a platform for high-level parametric hardware specification and its modular verification (JC, MV, BS, AC, A), p. 30.