Proceedings of the 20th International Conference on Functional Programming
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

FP
DBLP
Scholar
Full names Links ISxN
@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)

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.