default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID15th ICFP 2010: Baltimore, Maryland, USA
- Paul Hudak, Stephanie Weirich:
Proceedings of the 15th ACM SIGPLAN International Conference on Functional Programming, ICFP 2010, Baltimore, Maryland, USA, September 27-29, 2010. ACM 2010, ISBN 978-1-60558-794-3
Keynote I
- Michael J. C. Gordon:
ML: metalanguage or object language? 1-2
Session 1
- James Chapman
, Pierre-Évariste Dagand, Conor McBride, Peter Morris:
The gentle art of levitation. 3-14 - Dimitrios Vytiniotis, Andrew J. Kennedy:
Functional pearl: every bit counts. 15-26
Session 2
- Jérémy Buisson, Fabien Dagnat:
ReCaml: execution state as the cornerstone of reconfigurations. 27-38 - Karl Mazurak, Steve Zdancewic:
Lolliproc: to concurrency from classical linear logic via curry-howard and control. 39-50
Session 3
- David Van Horn, Matthew Might:
Abstracting abstract machines. 51-62 - Stefan Holdermans, Jurriaan Hage:
Polyvariant flow analysis with higher-ranked polymorphic types and higher-order effect operators. 63-74
Session 4
- Matthew Naylor, Colin Runciman:
The reduceron reconfigured. 75-86 - David J. Scott, Richard Sharp, Thomas Gazagnaire, Anil Madhavapeddy:
Using functional programming within an industrial product group: perspectives and perceptions. 87-92 - Lars Bergstrom, Mike Rainey, John H. Reppy, Adam Shaw, Matthew Fluet:
Lazy tree splitting. 93-104
Session 5
- Gavin M. Bierman, Andrew D. Gordon, Catalin Hritcu, David E. Langworthy:
Semantic subtyping with an SMT solver. 105-116 - Sam Tobin-Hochstadt, Matthias Felleisen:
Logical types for untyped languages. 117-128
Keynote 2
- Matthias Felleisen:
TeachScheme!: a checkpoint. 129-130
Session 6
- Karl Crary:
Higher-order representation of substructural logics. 131-142 - Derek Dreyer, Georg Neis, Lars Birkedal:
The impact of higher-order state and control effects on local relational reasoning. 143-156
Session 7
- Jason Reed, Benjamin C. Pierce:
Distance makes the types grow stronger: a calculus for differential privacy. 157-168 - Jamie Morgenstern, Daniel R. Licata:
Security-typed programming within dependently typed programming. 169-180
Session 8
- Janis Voigtländer, Zhenjiang Hu, Kazutaka Matsuda, Meng Wang:
Combining syntactic and semantic bidirectionalization. 181-192 - Davi M. J. Barbosa, Julien Cretin, Nate Foster, Michael Greenberg, Benjamin C. Pierce:
Matching lenses: alignment and view update. 193-204 - Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano:
Bidirectionalizing graph transformations. 205-216
Session 9
- Nicolas Pouillard, François Pottier:
A fresh look at programming with names and binders. 217-228 - Marcus Crestani, Michael Sperber:
Experience report: growing programming languages for beginning students. 229-234 - Ryan Culpepper, Matthias Felleisen:
Fortifying macros. 235-246
Keynote 3
- Guy E. Blelloch:
Functional parallel algorithms. 247-248
Session 11
- Gilad Arnold, Johannes Hölzl, Ali Sinan Köksal, Rastislav Bodík, Mooly Sagiv:
Specifying and verifying sparse matrix codes. 249-260 - Gabriele Keller, Manuel M. T. Chakravarty, Roman Leshchinskiy, Simon L. Peyton Jones, Ben Lippmeier:
Regular, shape-polymorphic, parallel arrays in Haskell. 261-272
Session 12
- Andrew McCreight, Tim Chevalier, Andrew P. Tolmach:
A certified framework for compiling and executing garbage-collected languages. 273-284 - Nils Anders Danielsson:
Total parser combinators. 285-296
Session 13
- Edwin C. Brady, Kevin Hammond:
Scrapping your inefficient engine: using partial evaluation to improve domain-specific language implementation. 297-308 - Neil Mitchell:
Rethinking supercompilation. 309-320
Session 14
- Arthur Charguéraud:
Program verification through characteristic formulae. 321-332 - Antonis Stampoulis, Zhong Shao:
VeriML: typed computation of logical terms inside a language with effects. 333-344 - Jean-Philippe Bernardy, Patrik Jansson, Ross Paterson:
Parametricity and dependent types. 345-356
Session 15
- Sebastian Fischer, Frank Huch, Thomas Wilke:
A play on regular expressions: functional pearl. 357-368 - Iustin Pop:
Experience report: Haskell as a reagent: results and observations on the use of Haskell in a python project. 369-374 - J. Garrett Morris, Mark P. Jones:
Instance chains: type class programming without overlapping instances. 375-386
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 2025-11-28 12:42 CET 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:
