default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
no matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 28 matches
- 2003
- Emmanuel Beffara, Vincent Danos:
Disjunctive normal forms and local exceptions. ICFP 2003: 203-211 - Véronique Benzaken, Giuseppe Castagna, Alain Frisch:
CDuce: an XML-centric general-purpose language. ICFP 2003: 51-63 - Gavin M. Bierman, Michael W. Hicks, Peter Sewell, Gareth Paul Stoyle, Keith Wansbrough:
Dynamic rebinding for marshalling and update, with destruct-time? ICFP 2003: 99-110 - Didier Le Botlan, Didier Rémy:
MLF: raising ML to the power of system F. ICFP 2003: 27-38 - Chiyan Chen, Hongwei Xi:
Meta-programming through typeful code representation. ICFP 2003: 275-286 - Robert Ennals, Simon L. Peyton Jones:
Optimistic evaluation: an adaptive evaluation strategy for non-strict programs. ICFP 2003: 287-298 - Bastiaan Heeren, Jurriaan Hage, S. Doaitse Swierstra:
Scripting the type inference process. ICFP 2003: 3-13 - Tomoyuki Higuchi, Atsushi Ohori:
A static type system for JVM access control. ICFP 2003: 227-237 - R. John M. Hughes, S. Doaitse Swierstra:
Polish parsers, step by step. ICFP 2003: 239-248 - Simon L. Peyton Jones, Alan F. Blackwell, Margaret M. Burnett:
A user-centred approach to functions in Excel. ICFP 2003: 165-176 - Yukiyoshi Kameyama, Masahito Hasegawa:
A sound and complete axiomatization of delimited continuations. ICFP 2003: 177-188 - Thomas Knight Jr.:
Conservation of information: applications in functional, reversible, and quantum computing. ICFP 2003: 1 - James J. Leifer, Gilles Peskine, Peter Sewell, Keith Wansbrough:
Global abstraction-safe marshalling with hash types. ICFP 2003: 87-98 - Michael Y. Levin:
Compiling regular patterns. ICFP 2003: 65-77 - Andres Löh, Dave Clarke, Johan Jeuring:
Dependency-style generic Haskell. ICFP 2003: 141-152 - Harry G. Mairson:
From Hilbert space to Dilbert space: context semantics as a language for games and flow analysis. ICFP 2003: 125 - Yitzhak Mandelbaum, David Walker, Robert Harper:
An effective theory of type refinements. ICFP 2003: 213-225 - Matthias Neubauer, Peter Thiemann:
Discriminative sum types locate the source of type errors. ICFP 2003: 15-26 - Henrik Nilsson:
Functional automatic differentiation with dirac impulses. ICFP 2003: 153-164 - Mizuhito Ogawa, Zhenjiang Hu, Isao Sasano:
Iterative-free program analysis. ICFP 2003: 111-123 - Rex L. Page:
Software is discrete mathematics. ICFP 2003: 79-86 - Mark R. Shinwell, Andrew M. Pitts, Murdoch Gabbay:
FreshML: programming with binders made simple. ICFP 2003: 263-274 - Vincent Simonet:
An extension of HM(X) with bounded existential and universal data-types. ICFP 2003: 39-50 - Philip Wadler:
Call-by-value is dual to call-by-name. ICFP 2003: 189-201 - David Walker, Steve Zdancewic, Jay Ligatti:
A theory of aspects. ICFP 2003: 127-139 - Mitchell Wand:
Understanding aspects: extended abstract. ICFP 2003: 299-300 - Geoffrey Washburn, Stephanie Weirich:
Boxes go bananas: encoding higher-order abstract syntax with parametric polymorphism. ICFP 2003: 249-262 - Colin Runciman, Olin Shivers:
Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, ICFP 2003, Uppsala, Sweden, August 25-29, 2003. ACM 2003, ISBN 1-58113-756-7 [contents]
loading more results
failed to load more results, please try again later
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-10-07 13:09 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint