default search action

combined dblp search
author search
venue search
publication search

ask others

19th ICFP 2014: Gothenburg, Sweden

> Home > Conferences and Workshops > ICFP

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/icfp/2014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/2014
Johan Jeuring, Manuel M. T. Chakravarty:
Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, Gothenburg, Sweden, September 1-3, 2014. ACM 2014, ISBN 978-1-4503-2873-9

Keynote 1

- view
  authority control:
- export record
  dblp key:
  - conf/icfp/Fisher14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/Fisher14
Kathleen Fisher:
Using formal methods to enable more secure vehicles: DARPA's HACMS program. 1

Domain specific languages I

- view
  authority control:
- export record
  dblp key:
  - conf/icfp/HickeyPEBL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/HickeyPEBL14
Patrick C. Hickey, Lee Pike, Trevor Elliott, James Bielman, John Launchbury:
Building embedded systems with embedded DSLs. 3-9
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/SchlesingerGW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/SchlesingerGW14
Cole Schlesinger, Michael Greenberg, David Walker:
Concurrent NetCore: from policies to pipelines. 11-24

Static analysis

- view
  authority control:
- export record
  dblp key:
  - conf/icfp/SchoepeHS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/SchoepeHS14
Daniel Schoepe, Daniel Hedin, Andrei Sabelfeld:
SeLINQ: tracking information across application-database boundaries. 25-38
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/0008E14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/0008E14
Sheng Chen, Martin Erwig:
Type-based parametric analysis of program families. 39-51

Binding structure

- view
  authority control:
- export record
  dblp key:
  - conf/icfp/StansiferW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/StansiferW14
Paul Stansifer, Mitchell Wand:
Romeo: a system for more flexible binding-safe programming. 53-65
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/GrabmayerR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/GrabmayerR14
Clemens Grabmayer, Jan Rochel:
Maximal sharing in the Lambda calculus with letrec. 67-80

Program optimisation

- view
  authority control:
- export record
  dblp key:
  - conf/icfp/BergstromFLRS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/BergstromFLRS14
Lars Bergstrom, Matthew Fluet, Matthew Le, John H. Reppy, Nora Sandler:
Practical and effective higher-order optimizations. 81-93
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/HackettH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/HackettH14
Jennifer Hackett, Graham Hutton:
Worker/wrapper/makes it/faster. 95-107

Context dependence

- view
  authority control:
- export record
  dblp key:
  - conf/icfp/DownenA14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/DownenA14
Paul Downen, Zena M. Ariola:
Compositional semantics for composable continuations: from abortive to delimited control. 109-122
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/PetricekOM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/PetricekOM14
Tomas Petricek, Dominic A. Orchard, Alan Mycroft:
Coeffects: a calculus of context-dependent computation. 123-135

Keynote 2

- view
  authority control:
- export record
  dblp key:
  - conf/icfp/Findler14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/Findler14
Robert Bruce Findler:
Behavioral software contracts. 137-138

Contracts & scheme

- view
  authority control:
- export record
  dblp key:
  - conf/icfp/NguyenTH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/NguyenTH14
Phuc C. Nguyen, Sam Tobin-Hochstadt, David Van Horn:
Soft contract verification. 139-152
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/Ramsey14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/Ramsey14
Norman Ramsey:
On teaching *how to design programs*: observations from a newcomer. 153-166

Tools used in anger

- view
  authority control:
- export record
  dblp key:
  - conf/icfp/OhoriUHNSMI14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/OhoriUHNSMI14
Atsushi Ohori, Katsuhiro Ueno, Kazunori Hoshi, Shinji Nozaki, Takashi Sato, Tasuku Makabe, Yuki Ito:
SML# in industry: a practical ERP system development. 167-173
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/MulliganOGRS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/MulliganOGRS14
Dominic P. Mulligan, Scott Owens, Kathryn E. Gray, Tom Ridge, Peter Sewell:
Lem: reusable engineering of real-world semantics. 175-188

Type systems

- view
  authority control:
- export record
  dblp key:
  - conf/icfp/BreitnerEJW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/BreitnerEJW14
Joachim Breitner, Richard A. Eisenberg, Simon L. Peyton Jones, Stephanie Weirich:
Safe zero-cost coercions for Haskell. 189-202
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/Pottier14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/Pottier14
François Pottier:
Hindley-milner elaboration in applicative style: functional pearl. 203-212

Incremental computing

- view
  authority control:
- export record
  dblp key:
  - conf/icfp/Winograd-CortH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/Winograd-CortH14
Daniel Winograd-Cort, Paul Hudak:
Settable and non-interfering signal functions for FRP: how a first-order switch is more than enough. 213-225
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/ChenAT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/ChenAT14
Yan Chen, Umut A. Acar, Kanat Tangwongsan:
Functional programming for dynamic and large data with self-adjusting computation. 227-240

Keynote 3

- view
  authority control:
- export record
  dblp key:
  - conf/icfp/Weirich14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/Weirich14
Stephanie Weirich:
Depending on types. 241

Homotopy type theory

- view
  authority control:
- export record
  dblp key:
  - conf/icfp/AngiuliMLH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/AngiuliMLH14
Carlo Angiuli, Edward Morehouse, Daniel R. Licata, Robert Harper:
Homotopical patch theory. 243-256
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/CockxDP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/CockxDP14
Jesper Cockx, Dominique Devriese, Frank Piessens:
Pattern matching without K. 257-268

Abstract interpretation

- view
  authority control:
- export record
  dblp key:
  - conf/icfp/VazouSJVJ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/VazouSJVJ14
Niki Vazou, Eric L. Seidel, Ranjit Jhala, Dimitrios Vytiniotis, Simon L. Peyton Jones:
Refinement types for Haskell. 269-282
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/SchwerterGT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/SchwerterGT14
Felipe Bañados Schwerter, Ronald Garcia, Éric Tanter:
A theory of gradual effect systems. 283-295

Dependent types

- view
  authority control:
- export record
  dblp key:
  - conf/icfp/McBride14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/McBride14
Conor Thomas McBride:
How to keep your neighbours in order. 297-309
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/KakiJ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/KakiJ14
Gowtham Kaki, Suresh Jagannathan:
A relational framework for higher-order shape analysis. 311-324

Domain specific languages II

- view
  authority control:
- export record
  dblp key:
  - conf/icfp/MarlowBCP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/MarlowBCP14
Simon Marlow, Louis Brandy, Jonathan Coens, Jon Purdy:
There is no fork: an abstraction for efficient, concurrent, and concise data access. 325-337
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/GibbonsW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/GibbonsW14
Jeremy Gibbons, Nicolas Wu:
Folding domain-specific languages: deep and shallow embeddings (functional Pearl). 339-347

Abstract machines

- view
  authority control:
- export record
  dblp key:
  - conf/icfp/FredrikssonG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/FredrikssonG14
Olle Fredriksson, Dan R. Ghica:
Krivine nets: a semantic foundation for distributed execution. 349-361
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/AccattoliBM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/AccattoliBM14
Beniamino Accattoli, Pablo Barenbaum, Damiano Mazza:
Distilling abstract machines. 363-376

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.