Paul Hudak, Stephanie Weirich
Proceedings of the 15th International Conference on Functional Programming
ICFP, 2010.

@proceedings{ICFP-2010,
	address       = "Baltimore, Maryland, USA",
	editor        = "Paul Hudak and Stephanie Weirich",
	isbn          = "978-1-60558-794-3",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 15th International Conference on Functional Programming}",
	year          = 2010,
}

Contents (36 items)

4 ×#functional
4 ×#logic
4 ×#named
4 ×#programming
3 ×#higher-order
2 ×#bidirectional
2 ×#case study
2 ×#experience
2 ×#haskell
2 ×#parallel

ICFP-2010-Gordon #metalanguage #ml #named #question

ML: metalanguage or object language? (MJCG), pp. 1–2.

ICFP-2010-ChapmanDMM

The gentle art of levitation (JC, PÉD, CM, PM), pp. 3–14.

ICFP-2010-VytiniotisK #functional

Functional pearl: every bit counts (DV, AJK), pp. 15–26.

ICFP-2010-BuissonD #configuration management #execution #named

ReCaml: execution state as the cornerstone of reconfigurations (JB, FD), pp. 27–38.

ICFP-2010-MazurakZ #concurrent #linear #logic #named

Lolliproc: to concurrency from classical linear logic via curry-howard and control (KM, SZ), pp. 39–50.

ICFP-2010-HornM #automaton

Abstracting abstract machines (DVH, MM), pp. 51–62.

ICFP-2010-HoldermansH #analysis #higher-order #polymorphism

Polyvariant flow analysis with higher-ranked polymorphic types and higher-order effect operators (SH, JH), pp. 63–74.

ICFP-2010-NaylorR

The reduceron reconfigured (MN, CR), pp. 75–86.

ICFP-2010-ScottSGM #functional #industrial #programming #using

Using functional programming within an industrial product group: perspectives and perceptions (DJS, RS, TG, AM), pp. 87–92.

ICFP-2010-BergstromRRSF #lazy evaluation

Lazy tree splitting (LB, MR, JHR, AS, MF), pp. 93–104.

ICFP-2010-BiermanGHL #semantics #smt #type system

Semantic subtyping with an SMT solver (GMB, ADG, CH, DEL), pp. 105–116.

ICFP-2010-Tobin-HochstadtF #logic

Logical types for untyped languages (STH, MF), pp. 117–128.

ICFP-2010-Felleisen #exclamation

TeachScheme!: a checkpoint (MF), pp. 129–130.

ICFP-2010-Crary #higher-order #logic #representation

Higher-order representation of substructural logics (KC), pp. 131–142.

ICFP-2010-DreyerNB #higher-order #reasoning #relational

The impact of higher-order state and control effects on local relational reasoning (DD, GN, LB), pp. 143–156.

ICFP-2010-ReedP #calculus #difference #distance #privacy

Distance makes the types grow stronger: a calculus for differential privacy (JR, BCP), pp. 157–168.

ICFP-2010-MorgensternL #programming

Security-typed programming within dependently typed programming (JM, DRL), pp. 169–180.

ICFP-2010-VoigtlanderHMW #bidirectional #semantics

Combining syntactic and semantic bidirectionalization (JV, ZH, KM, MW), pp. 181–192.

ICFP-2010-BarbosaCFGP #lens

Matching lenses: alignment and view update (DMJB, JC, NF, MG, BCP), pp. 193–204.

ICFP-2010-HidakaHIKMN #bidirectional #graph transformation

Bidirectionalizing graph transformations (SH, ZH, KI, HK, KM, KN), pp. 205–216.

ICFP-2010-PouillardP #fresh look #programming

A fresh look at programming with names and binders (NP, FP), pp. 217–228.

ICFP-2010-CrestaniS #case study #experience #programming language #student

Experience report: growing programming languages for beginning students (MC, MS), pp. 229–234.

ICFP-2010-CulpepperF #metaprogramming

Fortifying macros (RC, MF), pp. 235–246.

ICFP-2010-Blelloch #algorithm #functional #parallel

Functional parallel algorithms (GEB), pp. 247–248.

ICFP-2010-ArnoldHKBS #matrix #specification #verification

Specifying and verifying sparse matrix codes (GA, JH, ASK, RB, MS), pp. 249–260.

ICFP-2010-KellerCLJL #array #haskell #parallel

Regular, shape-polymorphic, parallel arrays in Haskell (GK, MMTC, RL, SLPJ, BL), pp. 261–272.

ICFP-2010-McCreightCT #compilation #framework #garbage collection

A certified framework for compiling and executing garbage-collected languages (AM, TC, APT), pp. 273–284.

ICFP-2010-Danielsson #combinator #parsing

Total parser combinators (NAD), pp. 285–296.

ICFP-2010-BradyH #domain-specific language #implementation #partial evaluation #using

Scrapping your inefficient engine: using partial evaluation to improve domain-specific language implementation (EB, KH), pp. 297–308.

ICFP-2010-Mitchell #supercompilation

Rethinking supercompilation (NM), pp. 309–320.

ICFP-2010-Chargueraud #verification

Program verification through characteristic formulae (AC), pp. 321–332.

ICFP-2010-StampoulisS #logic #named

VeriML: typed computation of logical terms inside a language with effects (AS, ZS), pp. 333–344.

ICFP-2010-BernardyJP #dependent type #parametricity

Parametricity and dependent types (JPB, PJ, RP), pp. 345–356.

ICFP-2010-FischerHW #functional #game studies #regular expression

A play on regular expressions: functional pearl (SF, FH, TW), pp. 357–368.

ICFP-2010-Pop #case study #experience #haskell #python #using

Experience report: Haskell as a reagent: results and observations on the use of Haskell in a python project (IP), pp. 369–374.

ICFP-2010-MorrisJ #programming

Instance chains: type class programming without overlapping instances (JGM, MPJ), pp. 375–386.