Остановите войну!
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 43 matches
- 2013
- Andreas Abel, Brigitte Pientka:
Wellfounded recursion with copatterns: a unified approach to termination and productivity. ICFP 2013: 185-196 - Robert Atkey, Conor McBride:
Productive coprogramming with guarded recursion. ICFP 2013: 197-208 - Emil Axelsson, Koen Claessen:
Using circular programs for higher-order syntax: functional pearl. ICFP 2013: 257-262 - Thibaut Balabonski:
Weak optimality, and the meaning of sharing. ICFP 2013: 263-274 - Jean-Philippe Bernardy, Koen Claessen:
Efficient divide-and-conquer parsing of practical context-free languages. ICFP 2013: 111-122 - Jean-Philippe Bernardy, Guilhem Moulin:
Type-theory in color. ICFP 2013: 61-72 - Edwin C. Brady:
Programming and reasoning with algebraic effects and dependent types. ICFP 2013: 133-144 - Christopher H. Broadbent, Arnaud Carayol, Matthew Hague, Olivier Serre:
C-SHORe: a collapsible approach to higher-order verification. ICFP 2013: 13-24 - James Cheney, Sam Lindley, Philip Wadler:
A practical theory of language-integrated query. ICFP 2013: 403-416 - Adam Chlipala:
The bedrock structured programming system: combining generative metaprogramming and hoare logic in an extensible program verifier. ICFP 2013: 391-402 - Benjamin Delaware, Steven Keuchel, Tom Schrijvers, Bruno C. d. S. Oliveira:
Modular monadic meta-theory. ICFP 2013: 319-330 - Germán Andrés Delbianco, Aleksandar Nanevski:
Hoare-style reasoning with (algebraic) continuations. ICFP 2013: 363-376 - Dominique Devriese, Frank Piessens:
Typed syntactic meta-programming. ICFP 2013: 73-86 - Stephen Dolan:
Fun with semirings: a functional pearl on the abuse of linear algebra. ICFP 2013: 101-110 - Jana Dunfield, Neelakantan R. Krishnaswami:
Complete and easy bidirectional typechecking for higher-rank polymorphism. ICFP 2013: 429-442 - Ronald Garcia:
Calculating threesomes, with blame. ICFP 2013: 417-428 - Soichiro Hidaka, Kazuyuki Asada, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano:
Structural recursion for querying ordered graphs. ICFP 2013: 305-318 - Ralf Hinze, Nicolas Wu, Jeremy Gibbons:
Unifying structured recursion schemes. ICFP 2013: 209-220 - Catalin Hritcu, John Hughes, Benjamin C. Pierce, Antal Spector-Zabusky, Dimitrios Vytiniotis, Arthur Azevedo de Amorim, Leonidas Lampropoulos:
Testing noninterference, quickly. ICFP 2013: 455-468 - Alan Jeffrey:
Functional reactive programming with liveness guarantees. ICFP 2013: 233-244 - Dionna Amalie Glaze, Nicholas Labich, Matthew Might, David Van Horn:
Optimizing abstract abstract machines. ICFP 2013: 443-454 - Simon L. Peyton Jones:
Computer science as a school subject. ICFP 2013: 159-160 - Ohad Kammar, Sam Lindley, Nicolas Oury:
Handlers in action. ICFP 2013: 145-158 - Andrew W. Keep, R. Kent Dybvig:
A nanopass framework for commercial compiler development. ICFP 2013: 343-350 - Neelakantan R. Krishnaswami:
Higher-order functional reactive programming without spacetime leaks. ICFP 2013: 221-232 - Florian Lorenzen, Sebastian Erdweg:
Modular and automated type-soundness verification for language extensions. ICFP 2013: 331-342 - Geoffrey Mainland, Roman Leshchinskiy, Simon L. Peyton Jones:
Exploiting vector instructions with generalized stream fusio. ICFP 2013: 37-48 - Harry G. Mairson:
Functional geometry and the Traité de Lutherie: functional pearl. ICFP 2013: 123-132 - Trevor L. McDonell, Manuel M. T. Chakravarty, Gabriele Keller, Ben Lippmeier:
Optimising purely functional GPU programs. ICFP 2013: 49-60 - Akimasa Morihata:
A short cut to parallelization theorems. ICFP 2013: 245-256
skipping 13 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-18 09:57 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