Остановите войну!
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 53 matches
- 2009
- Pieter W. M. Koopman, Rinus Plasmeijer, S. Doaitse Swierstra:
Advanced Functional Programming, 6th International School, AFP 2008, Heijen, The Netherlands, May 2008, Revised Lectures. Lecture Notes in Computer Science 5832, Springer 2009, ISBN 978-3-642-04651-3 [contents] - 2008
- Umut A. Acar, Ruy Ley-Wild:
Self-adjusting Computation with Delta ML. Advanced Functional Programming 2008: 1-38 - Richard S. Bird:
Spider Spinning for Dummies. Advanced Functional Programming 2008: 39-65 - Olivier Danvy:
From Reduction-Based to Reduction-Free Normalization. Advanced Functional Programming 2008: 66-164 - Johan Jeuring, Sean Leather, José Pedro Magalhães, Alexey Rodriguez Yakushev:
Libraries for Generic Programming in Haskell. Advanced Functional Programming 2008: 165-229 - Simon L. Peyton Jones, Satnam Singh:
A Tutorial on Parallel and Concurrent Programming in Haskell. Advanced Functional Programming 2008: 267-305 - Ulf Norell:
Dependently Typed Programming in Agda. Advanced Functional Programming 2008: 230-266 - Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopman, Bas Lijnse, Thomas van Noort:
An iTask Case Study: A Conference Management System. Advanced Functional Programming 2008: 306-329 - 2005
- Varmo Vene, Tarmo Uustalu:
Advanced Functional Programming, 5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures. Lecture Notes in Computer Science 3622, Springer 2005, ISBN 3-540-28540-7 [contents] - 2004
- Peter Achten, Marko C. J. D. van Eekelen, Rinus Plasmeijer, Arjen van Weelden:
GEC: A Toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications. Advanced Functional Programming 2004: 210-244 - Atze Dijkstra, S. Doaitse Swierstra:
Typing Haskell with an Attribute Grammar. Advanced Functional Programming 2004: 1-72 - John Hughes:
Programming with Arrows. Advanced Functional Programming 2004: 73-129 - Conor McBride:
Epigram: Practical Programming with Dependent Types. Advanced Functional Programming 2004: 130-170 - Alberto Pardo:
Combining Datatypes and Effects. Advanced Functional Programming 2004: 171-209 - Rinus Plasmeijer, Arjen van Weelden:
A Functional Shell That Operates on Typed and Compiled Applications. Advanced Functional Programming 2004: 245-272 - Bernard J. Pope:
Declarative Debugging with Buddha. Advanced Functional Programming 2004: 273-308 - Peter Thiemann:
Server-Side Web Programming in WASH. Advanced Functional Programming 2004: 309-330 - Simon J. Thompson:
Refactoring Functional Programs. Advanced Functional Programming 2004: 331-357 - 2003
- Johan Jeuring, Simon L. Peyton Jones:
Advanced Functional Programming, 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures. Lecture Notes in Computer Science 2638, Springer 2003, ISBN 3-540-40132-6 [contents] - 2002
- Richard S. Bird, Jeremy Gibbons:
Arithmetic Coding with Folds and Unfolds. Advanced Functional Programming 2002: 1-26 - Manuel M. T. Chakravarty, Gabriele Keller:
An Approach to Fast Arrays in Haskell. Advanced Functional Programming 2002: 27-58 - Koen Claessen, Colin Runciman, Olaf Chitil, John Hughes, Malcolm Wallace:
Testing and Tracing Lazy Functional Programs Using QuickCheck and Hat. Advanced Functional Programming 2002: 59-99 - Matthias Felleisen:
Developing Interactive Web Programs. Advanced Functional Programming 2002: 100-128 - Cédric Fournet, Fabrice Le Fessant, Luc Maranget, Alan Schmitt:
JoCaml: A Language for Concurrent Distributed and Mobile Programming. Advanced Functional Programming 2002: 129-158 - Paul Hudak, Antony Courtney, Henrik Nilsson, John Peterson:
Arrows, Robots, and Functional Reactive Programming. Advanced Functional Programming 2002: 159-187 - Philip Wadler:
XQuery: A Typed Functional Language for Querying XML. Advanced Functional Programming 2002: 188-212 - 1999
- S. Doaitse Swierstra, Pedro Rangel Henriques, José Nuno Oliveira:
Advanced Functional Programming, Third International School, Braga, Portugal, September 12-19, 1998, Revised Lectures. Lecture Notes in Computer Science 1608, Springer 1999, ISBN 3-540-66241-3 [contents] - 1998
- Lex Augusteijn:
Sorting Morphisms. Advanced Functional Programming 1998: 1-27 - Lennart Augustsson:
Cayenne - A Language with Dependent Types. Advanced Functional Programming 1998: 240-267 - Roland Carl Backhouse, Patrik Jansson, Johan Jeuring, Lambert G. L. T. Meertens:
Generic Programming: An Introduction. Advanced Functional Programming 1998: 28-115
skipping 23 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-07-10 21:27 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