Kathleen Fisher, John H. Reppy
Proceedings of the 20th International Conference on Functional Programming
ICFP, 2015.

@proceedings{ICFP-2015,
	acmid         = "2784731",
	address       = "Vancouver, British Columbia, Canada",
	editor        = "Kathleen Fisher and John H. Reppy",
	isbn          = "978-1-4503-3669-7",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 20th International Conference on Functional Programming}",
	year          = 2015,
}

Contents (37 items)

9 ×#functional
4 ×#compilation
4 ×#named
3 ×#contract
3 ×#higher-order
3 ×#performance
2 ×#communication
2 ×#data type
2 ×#haskell
2 ×#morphism

ICFP-2015-Bodik #synthesis

Program synthesis: opportunities for the next decade (RB), p. 1.

ICFP-2015-RompfA #c #compilation #functional #sql

Functional pearl: a SQL to C compiler in 500 lines of code (TR, NA), pp. 2–9.

ICFP-2015-Chlipala #compilation #functional #optimisation

An optimizing compiler for a purely functional web-application language (AC), pp. 10–21.

ICFP-2015-BaumanBHKPST #functional #jit #named

Pycket: a tracing JIT for a functional language (SB, CFB, RH, VK, TP, JGS, STH), pp. 22–34.

ICFP-2015-Rossberg #ml #named

1ML — core and modules united (F-ing first-class modules) (AR), pp. 35–47.

ICFP-2015-VazouBJ #bound #refinement

Bounded refinement types (NV, AB, RJ), pp. 48–61.

ICFP-2015-MatsudaW #bidirectional #lens #programming

Applicative bidirectional programming with lenses (KM, MW), pp. 62–74.

ICFP-2015-PombrioK #composition

Hygienic resugaring of compositional desugaring (JP, SK), pp. 75–87.

ICFP-2015-GenevesG #problem #static typing #type system #xquery

XQuery and static typing: tackling the problem of backward axes (PG, NG), pp. 88–100.

ICFP-2015-BowmanA #for free

Noninterference for free (WJB, AA), pp. 101–113.

ICFP-2015-GaboardiP #algebra #λ-calculus

Algebras and coalgebras in the light affine λ calculus (MG, RP), pp. 114–126.

ICFP-2015-DownenJA #recursion

Structures for structural recursion (PD, PJF, ZMA), pp. 127–139.

ICFP-2015-DannerLR #functional #induction #semantics

Denotational cost semantics for functional languages with inductive types (ND, DRL, R), pp. 140–151.

ICFP-2015-AvanziniLM #complexity #first-order #functional #higher-order #source code

Analysing the complexity of functional programs: higher-order meets first-order (MA, UDL, GM), pp. 152–164.

ICFP-2015-Sheeran #design #functional #hardware #programming #years after

Functional programming and hardware design: still interesting after all these years (MS), p. 165.

ICFP-2015-NeisHKMDV #compilation #higher-order #imperative #named

Pilsner: a compositionally verified compiler for a higher-order imperative language (GN, CKH, JOK, CM, DD, VV), pp. 166–178.

ICFP-2015-ZilianiS #algorithm #coq #morphism #polymorphism #unification

A unification algorithm for Coq featuring universe polymorphism and overloading (BZ, MS), pp. 179–191.

ICFP-2015-Blanchette0T #perspective #proving #recursion

Foundational extensible corecursion: a proof assistant perspective (JCB, AP, DT), pp. 192–204.

ICFP-2015-SteuwerFLD #functional #generative #performance #using

Generating performance portable code using rewrite rules: from high-level functional expressions to high-performance OpenCL code (MS, CF, SL, CD), pp. 205–217.

ICFP-2015-NewtonFV #adaptation #scalability

Adaptive lock-free maps: purely-functional to scalable (RRN, PPF, AV), pp. 218–229.

ICFP-2015-LeF #continuation #transaction

Partial aborts for transactions via first-class continuations (ML, MF), pp. 230–242.

ICFP-2015-SchererR #question

Which simple types have a unique inhabitant? (GS, DR), pp. 243–255.

ICFP-2015-Dunfield #morphism #polymorphism

Elaborating evaluation-order polymorphism (JD), pp. 256–268.

ICFP-2015-RendelTO #automation #pattern matching #problem

Automatic refunctionalization to a language with copattern matching: with applications to the expression problem (TR, JT, KO), pp. 269–279.

ICFP-2015-Russo #functional #haskell

Functional pearl: two can keep a secret, if one of them uses Haskell (AR), pp. 280–288.

ICFP-2015-BuirasVR #data flow #dynamic typing #haskell #named #type system

HLIO: mixing static and dynamic typing for information-flow control in Haskell (PB, DV, AR), pp. 289–301.

ICFP-2015-PloegC #exclamation

Practical principled FRP: forget the past, change the future, FRPNow! (AvdP, KC), pp. 302–314.

ICFP-2015-BahrBE #contract #multi

Certified symbolic management of financial multi-party contracts (PB, JB, ME), pp. 315–327.

ICFP-2015-SmolkaEFG #compilation #performance

A fast compiler for NetKAT (SS, SAE, NF, AG), pp. 328–341.

ICFP-2015-StuckiRUB #sequence

RRB vector: a practical general purpose immutable sequence (NS, TR, VU, PB), pp. 342–354.

ICFP-2015-JaskelioffR #data type #functional

Functional pearl: a smart view on datatypes (MJ, ER), pp. 355–361.

ICFP-2015-YangCAEKN #communication #normalisation #performance

Efficient communication and collection with compact normal forms (EZY, GC, ÖSA, AEH, AK, RRN), pp. 362–374.

ICFP-2015-KeilT #contract #higher-order

Blame assignment for higher-order contracts with intersection and union (MK, PT), pp. 375–386.

ICFP-2015-SwordsST #communication #contract #monitoring

Expressing contract monitors as patterns of communication (CS, AS, STH), pp. 387–399.

ICFP-2015-ZhuNJ #learning #refinement

Learning refinement types (HZ, AVN, SJ), pp. 400–411.

ICFP-2015-Pavlinovic0W #fault #locality #smt

Practical SMT-based type error localization (ZP, TK, TW), pp. 412–423.

ICFP-2015-KarachaliasSVJ #data type #lazy evaluation #pattern matching

GADTs meet their match: pattern-matching warnings that account for GADTs, guards, and laziness (GK, TS, DV, SLPJ), pp. 424–436.