default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID12th ICFP 2007: Freiburg, Germany
- Ralf Hinze, Norman Ramsey:
Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, ICFP 2007, Freiburg, Germany, October 1-3, 2007. ACM 2007, ISBN 978-1-59593-815-2
Semantic tools
- Peter Sewell
, Francesco Zappa Nardelli, Scott Owens, Gilles Peskine, Tom Ridge, Susmit Sarkar, Rok Strnisa:
Ott: effective tool support for the working semanticist. 1-12 - Matthieu Sozeau:
Program-ing finger trees in Coq. 13-24
Language design
- Jeremy Wazny:
Experience report: functional programming in c-rules. 25-28 - Don Syme, Gregory Neverov, James Margetson:
Extensible pattern matching via a lightweight language extension. 29-40
Calculation, derivation, visualization
- Olivier Danvy, J. Michael Spivey:
On Barron and Strachey's cartesian product function. 41-46 - Kazutaka Matsuda, Zhenjiang Hu, Keisuke Nakano, Makoto Hamana, Masato Takeichi:
Bidirectionalization transformation based on automatic derivation of view complement functions. 47-58 - Conal Elliott:
Tangible functional programming. 59-70
Control-flow analysis
- Damien Sereni:
Termination analysis and call graph construction for higher-order functional programs. 71-84 - David Van Horn, Harry G. Mairson:
Relating complexity and precision in control flow analysis. 85-96
Working with types
- Andrzej Filinski, Kristian Støvring:
Inductive reasoning about effectful data types. 97-110 - Daan Leijen:
A type directed translation of MLF to system F. 111-122 - John W. Lloyd:
Declarative programming for artificial intelligence applications. 123-124
Testing and validation
- Lars-Åke Fredlund, Hans Svensson:
McErlang: a model checker for a distributed functional programming language. 125-136 - Steve Sims, Daniel C. DuVarney:
Experience report: the reactis validation tool. 137-140
Programming the web
- Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopman:
iTasks: executable specifications of interactive work flow systems for the web. 141-152 - Noel Welsh, David Gurnell:
Experience report: scheme in commercial web application development. 153-156
Continuations
- David Herman:
Functional pearl: the great escape or, how to jump the border without getting caught. 157-164 - Matthew Flatt, Gang Yu, Robert Bruce Findler, Matthias Felleisen:
Adding delimited and composable control to a production programming environment. 165-176 - Andrew Kennedy:
Compiling with continuations, continued. 177-190
Concurrency and distribution
- Sungwoo Park:
Type-safe higher-order channels in ML-like languages. 191-202 - Jan Henry Nyström, Philip W. Trinder, David J. King:
Evaluating high-level distributed language constructs. 203-212
Functional programming and the masses
- Clifford Beshers, David Fox, Jeremy Shaw:
Experience report: using functional programming to manage a linux distribution. 213-218 - Frank Pfenning:
Subtyping and intersection types revisited. 219
Mainstream problems
- Leif Frenzel:
Experience report: building an eclipse-based IDE for Haskell. 220-222 - Robert Ennals, David Gay:
User-friendly functional programming for web mashups. 223-234
Analysis of Haskell and Haskell for analysis
- Jurriaan Hage, Stefan Holdermans, Arie Middelkoop:
A generic usage analysis with subeffect qualifiers. 235-246 - Jonathan Cooper, Steve McKeever:
Experience report: a Haskell interpreter for cellML. 247-250
Compilation
- Tim Harris, Satnam Singh:
Feedback directed implicit parallelism. 251-264 - Bernd Braßel, Michael Hanus, Sebastian Fischer, Frank Huch, Germán Vidal:
Lazy call-by-value evaluation. 265-276 - Simon Marlow, Alexey Rodriguez Yakushev, Simon L. Peyton Jones:
Faster laziness using dynamic pointer tagging. 277-288
Modules
- Derek Dreyer:
A type system for recursive modules. 289-302 - Abdulaziz Ghuloum, R. Kent Dybvig:
Implicit phasing for R6RS libraries. 303-314
Efficient value constructors
- Duncan Coutts, Roman Leshchinskiy, Don Stewart:
Stream fusion: from lists to streams to nothing at all. 315-326 - Simon L. Peyton Jones:
Call-pattern specialisation for haskell programs. 327-337
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-11-15 19:19 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:
