15. ICFP 2010:
Baltimore,
Maryland,
USA
Paul Hudak, Stephanie Weirich (Eds.):
Proceeding 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
Session 1
Session 2
Session 3
Session 4
Session 5
Keynote 2
Session 6
Session 7
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
Keynote 3
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
Session 13
- Edwin 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
Session 15
Last update Fri May 25 08:18:55 2012
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page