Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID19th ICFP 2014: Gothenburg, Sweden
- 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
- Kathleen Fisher:
Using formal methods to enable more secure vehicles: DARPA's HACMS program. 1
Domain specific languages I
- Patrick C. Hickey, Lee Pike, Trevor Elliott, James Bielman, John Launchbury:
Building embedded systems with embedded DSLs. 3-9 - Cole Schlesinger, Michael Greenberg
, David Walker:
Concurrent NetCore: from policies to pipelines. 11-24
Static analysis
- Daniel Schoepe, Daniel Hedin, Andrei Sabelfeld:
SeLINQ: tracking information across application-database boundaries. 25-38 - Sheng Chen, Martin Erwig:
Type-based parametric analysis of program families. 39-51
Binding structure
- Paul Stansifer, Mitchell Wand:
Romeo: a system for more flexible binding-safe programming. 53-65 - Clemens Grabmayer, Jan Rochel:
Maximal sharing in the Lambda calculus with letrec. 67-80
Program optimisation
- Lars Bergstrom, Matthew Fluet, Matthew Le, John H. Reppy, Nora Sandler:
Practical and effective higher-order optimizations. 81-93 - Jennifer Hackett, Graham Hutton:
Worker/wrapper/makes it/faster. 95-107
Context dependence
- Paul Downen, Zena M. Ariola:
Compositional semantics for composable continuations: from abortive to delimited control. 109-122 - Tomas Petricek, Dominic A. Orchard, Alan Mycroft:
Coeffects: a calculus of context-dependent computation. 123-135
Keynote 2
- Robert Bruce Findler:
Behavioral software contracts. 137-138
Contracts & scheme
- Phuc C. Nguyen, Sam Tobin-Hochstadt, David Van Horn:
Soft contract verification. 139-152 - Norman Ramsey:
On teaching *how to design programs*: observations from a newcomer. 153-166
Tools used in anger
- Atsushi Ohori, Katsuhiro Ueno, Kazunori Hoshi, Shinji Nozaki, Takashi Sato, Tasuku Makabe, Yuki Ito:
SML# in industry: a practical ERP system development. 167-173 - Dominic P. Mulligan, Scott Owens, Kathryn E. Gray, Tom Ridge, Peter Sewell:
Lem: reusable engineering of real-world semantics. 175-188
Type systems
- Joachim Breitner, Richard A. Eisenberg, Simon L. Peyton Jones, Stephanie Weirich:
Safe zero-cost coercions for Haskell. 189-202 - François Pottier:
Hindley-milner elaboration in applicative style: functional pearl. 203-212
Incremental computing
- Daniel Winograd-Cort, Paul Hudak:
Settable and non-interfering signal functions for FRP: how a first-order switch is more than enough. 213-225 - Yan Chen, Umut A. Acar, Kanat Tangwongsan:
Functional programming for dynamic and large data with self-adjusting computation. 227-240
Keynote 3
- Stephanie Weirich:
Depending on types. 241
Homotopy type theory
- Carlo Angiuli, Edward Morehouse, Daniel R. Licata, Robert Harper:
Homotopical patch theory. 243-256 - Jesper Cockx, Dominique Devriese, Frank Piessens:
Pattern matching without K. 257-268
Abstract interpretation
- Niki Vazou, Eric L. Seidel, Ranjit Jhala, Dimitrios Vytiniotis, Simon L. Peyton Jones:
Refinement types for Haskell. 269-282 - Felipe Bañados Schwerter, Ronald Garcia, Éric Tanter:
A theory of gradual effect systems. 283-295
Dependent types
- Conor Thomas McBride:
How to keep your neighbours in order. 297-309 - Gowtham Kaki, Suresh Jagannathan:
A relational framework for higher-order shape analysis. 311-324
Domain specific languages II
- Simon Marlow, Louis Brandy, Jonathan Coens, Jon Purdy:
There is no fork: an abstraction for efficient, concurrent, and concise data access. 325-337 - Jeremy Gibbons, Nicolas Wu:
Folding domain-specific languages: deep and shallow embeddings (functional Pearl). 339-347
Abstract machines
- Olle Fredriksson, Dan R. Ghica:
Krivine nets: a semantic foundation for distributed execution. 349-361 - Beniamino Accattoli, Pablo Barenbaum, Damiano Mazza:
Distilling abstract machines. 363-376
a service of 
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.
last updated on 2024-05-10 18:45 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
