Остановите войну!
for scientists:
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 36 matches
- 2009
- Vincent Balat, Jérôme Vouillon, Boris Yakobowski:
Experience report: ocsigen, a web programming framework. ICFP 2009: 311-316 - Nick Benton, Chung-Kil Hur:
Biorthogonality, step-indexing and compiler correctness. ICFP 2009: 97-108 - Avik Chaudhuri:
A concurrent ML library in concurrent Haskell. ICFP 2009: 269-280 - Adam Chlipala, J. Gregory Malecha, Greg Morrisett, Avraham Shinnar, Ryan Wisnesky:
Effective interactive proofs for higher-order imperative programs. ICFP 2009: 79-90 - Koen Claessen, Michal H. Palka, Nicholas Smallbone, John Hughes, Hans Svensson, Thomas Arts, Ulf T. Wiger:
Finding race conditions in Erlang with QuickCheck and PULSE. ICFP 2009: 149-160 - Pascal Cuoq, Julien Signoles, Patrick Baudin, Richard Bonichon, Géraud Canet, Loïc Correnson, Benjamin Monate, Virgile Prevosto, Armand Puccetti:
Experience report: OCaml for an industrial-strength static analysis framework. ICFP 2009: 281-286 - Conal M. Elliott:
Beautiful differentiation. ICFP 2009: 191-202 - Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi:
A functional I/O system or, fun for freshman kids. ICFP 2009: 47-58 - Sebastian Fischer, Oleg Kiselyov, Chung-chieh Shan:
Purely functional lazy non-deterministic programming. ICFP 2009: 11-22 - Matthew Flatt, Eli Barzilay, Robert Bruce Findler:
Scribble: closing the book on ad hoc documentation tools. ICFP 2009: 109-120 - Thomas Gazagnaire, Vincent Hanquez:
OXenstored: an efficient hierarchical and transactional database using functional programming with reference cell comparisons. ICFP 2009: 203-214 - Pierre Genevès, Nabil Layaïda, Vincent Quint:
Identifying query incompatibilities with evolving XML schemas. ICFP 2009: 221-230 - Ralf Hinze:
Functional pearl: la tour d'Hanoï. ICFP 2009: 3-10 - Gerwin Klein, Philip Derrin, Kevin Elphinstone:
Experience report: seL4: formally verifying a high-performance microkernel. ICFP 2009: 91-96 - Daniel R. Licata, Robert Harper:
A universe of binding and computation. ICFP 2009: 123-134 - Hai Liu, Eric Cheng, Paul Hudak:
Causal commutative arrows and their optimization. ICFP 2009: 35-46 - Simon Marlow, Simon L. Peyton Jones, Satnam Singh:
Runtime support for multicore Haskell. ICFP 2009: 65-78 - Jay A. McCarthy:
Automatically RESTful web applications: marking modular serializable continuations. ICFP 2009: 299-310 - Jan Midtgaard, Thomas P. Jensen:
Control-flow analysis of function calls and returns by abstract interpretation. ICFP 2009: 287-298 - Georg Neis, Derek Dreyer, Andreas Rossberg:
Non-parametric parametricity. ICFP 2009: 135-148 - Ryan Newton, Teresa Ko:
Experience report: embedded, parallel computer-vision with a functional DSL. ICFP 2009: 59-64 - Bruno Pagano, Olivier Andrieu, Thomas Moniot, Benjamin Canou, Emmanuel Chailloux, Philippe Wang, Pascal Manoury, Jean-Louis Colaço:
Experience report: using objective caml to develop safety-critical embedded tools in a certification framework. ICFP 2009: 215-220 - Benjamin C. Pierce:
Lambda, the ultimate TA: using a proof assistant to teach programming language foundations. ICFP 2009: 121-122 - Dan P. Piponi:
Commutative monads, diagrams and knots. ICFP 2009: 231-232 - John H. Reppy, Claudio V. Russo, Yingqi Xiao:
Parallel concurrent ML. ICFP 2009: 257-268 - Tiark Rompf, Ingo Maier, Martin Odersky:
Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform. ICFP 2009: 317-328 - Curt J. Sampson:
Experience report: Haskell in the 'real world': writing a commercial application in a lazy functional lanuage. ICFP 2009: 185-190 - Tom Schrijvers, Simon L. Peyton Jones, Martin Sulzmann, Dimitrios Vytiniotis:
Complete and decidable type inference for GADTs. ICFP 2009: 341-352 - Neil Sculthorpe, Henrik Nilsson:
Safe functional reactive programming through dependent types. ICFP 2009: 23-34 - Guy L. Steele Jr.:
Organizing functional code for parallel execution or, foldl and foldr considered slightly harmful. ICFP 2009: 1-2
skipping 6 more matches
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-05-28 07:44 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