Johan Jeuring, Manuel M. T. Chakravarty
Proceedings of the 19th International Conference on Functional Programming
ICFP, 2014.

@proceedings{ICFP-2014,
	acmid         = "2628136",
	address       = "Gothenburg, Sweden",
	editor        = "Johan Jeuring and Manuel M. T. Chakravarty",
	isbn          = "978-1-4503-2873-9",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 19th International Conference on Functional Programming}",
	year          = 2014,
}

Contents (31 items)

4 ×#named
3 ×#functional
3 ×#semantics
2 ×#analysis
2 ×#concurrent
2 ×#contract
2 ×#domain-specific language
2 ×#formal method
2 ×#haskell
2 ×#higher-order

ICFP-2014-Fisher #formal method #using

Using formal methods to enable more secure vehicles: DARPA’s HACMS program (KF), p. 1.

ICFP-2014-HickeyPEBL #domain-specific language #embedded

Building embedded systems with embedded DSLs (PCH, LP, TE, JB, JL), pp. 3–9.

ICFP-2014-SchlesingerGW #concurrent #pipes and filters #policy

Concurrent NetCore: from policies to pipelines (CS, MG, DW), pp. 11–24.

ICFP-2014-SchoepeHS #bound #named

SeLINQ: tracking information across application-database boundaries (DS, DH, AS), pp. 25–38.

ICFP-2014-ChenE #analysis #parametricity #product line #type system

Type-based parametric analysis of program families (SC, ME), pp. 39–51.

ICFP-2014-StansiferW #flexibility #named #programming

Romeo: a system for more flexible binding-safe programming (PS, MW), pp. 53–65.

ICFP-2014-GrabmayerR #λ-calculus

Maximal sharing in the λ calculus with letrec (CG, JR), pp. 67–80.

ICFP-2014-BergstromFLRS #effectiveness #higher-order #optimisation

Practical and effective higher-order optimizations (LB, MF, ML, JHR, NS), pp. 81–93.

ICFP-2014-HackettH #performance

Worker/wrapper/makes it/faster (JH, GH), pp. 95–107.

ICFP-2014-DownenA #composition #continuation #semantics

Compositional semantics for composable continuations: from abortive to delimited control (PD, ZMA), pp. 109–122.

ICFP-2014-PetricekOM #calculus #named

Coeffects: a calculus of context-dependent computation (TP, DAO, AM), pp. 123–135.

ICFP-2014-Findler #behaviour #contract

Behavioral software contracts (RBF), pp. 137–138.

ICFP-2014-NguyenTH #contract #verification

Soft contract verification (PCN, STH, DVH), pp. 139–152.

ICFP-2014-Ramsey #design #education #on the

On teaching *how to design programs*: observations from a newcomer (NR), pp. 153–166.

ICFP-2014-OhoriUHNSMI #development #enterprise #industrial

SML# in industry: a practical ERP system development (AO, KU, KH, SN, TS, TM, YI), pp. 167–173.

ICFP-2014-MulliganOGRS #named #reuse #semantics

Lem: reusable engineering of real-world semantics (DPM, SO, KEG, TR, PS), pp. 175–188.

ICFP-2014-BreitnerEJW #haskell #low cost

Safe zero-cost coercions for Haskell (JB, RAE, SLPJ, SW), pp. 189–202.

ICFP-2014-Pottier #functional

Hindley-milner elaboration in applicative style: functional pearl (FP), pp. 203–212.

ICFP-2014-Winograd-CortH #first-order #how

Settable and non-interfering signal functions for FRP: how a first-order switch is more than enough (DWC, PH), pp. 213–225.

ICFP-2014-ChenAT #functional #programming #scalability #self

Functional programming for dynamic and large data with self-adjusting computation (YC, UAA, KT), pp. 227–240.

ICFP-2014-Weirich

Depending on types (SW), p. 241.

ICFP-2014-AngiuliMLH #topic

Homotopical patch theory (CA, EM, DRL, RH), pp. 243–256.

ICFP-2014-CockxDP #pattern matching

Pattern matching without K (JC, DD, FP), pp. 257–268.

ICFP-2014-VazouSJVJ #haskell #refinement

Refinement types for Haskell (NV, ELS, RJ, DV, SLPJ), pp. 269–282.

ICFP-2014-SchwerterGT #formal method

A theory of gradual effect systems (FBS, RG, ÉT), pp. 283–295.

ICFP-2014-McBride #how #order

How to keep your neighbours in order (CTM), pp. 297–309.

ICFP-2014-KakiJ #analysis #framework #higher-order #relational

A relational framework for higher-order shape analysis (GK, SJ), pp. 311–324.

ICFP-2014-MarlowBCP #abstraction #concurrent #data access #performance

There is no fork: an abstraction for efficient, concurrent, and concise data access (SM, LB, JC, JP), pp. 325–337.

ICFP-2014-GibbonsW #domain-specific language

Folding domain-specific languages: deep and shallow embeddings (JG, NW), pp. 339–347.

ICFP-2014-FredrikssonG #distributed #execution #semantics

Krivine nets: a semantic foundation for distributed execution (OF, DRG), pp. 349–361.

ICFP-2014-AccattoliBM #automaton

Distilling abstract machines (BA, PB, DM), pp. 363–376.