The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase call-by-push-value (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1999-2019 (18) 2020-2023 (6)
Publication types (Num. hits)
article(10) book(1) inproceedings(12) phdthesis(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 7 occurrences of 6 keywords

Results
Found 24 publication records. Showing 24 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
115Paul Blain Levy Call-by-push-value: Decomposing call-by-value and call-by-name. Search on Bibsonomy High. Order Symb. Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Call-by-push-value, Call-by-name, Lambda-calculus, Monad, Computational effect, Call-by-value
72Paul Blain Levy Call-by-Push-Value: A Subsuming Paradigm. Search on Bibsonomy TLCA The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
50Gordon D. Plotkin, Matija Pretnar A Logic for Algebraic Effects. Search on Bibsonomy LICS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF call-by-push-value, computational lambda-calculus, program logics, computational effects, algebraic operations
27Cassia Torczon, Emmanuel Suárez Acevedo, Shubh Agrawal, Joey Velez-Ginorio, Stephanie Weirich Effects and Coeffects in Call-By-Push-Value (Extended Version). Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
27Paul Blain Levy Call-by-push-value. Search on Bibsonomy ACM SIGLOG News The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
27Zhuo Chen Towards a Verified Cost Model for Call-by-Push-Value. Search on Bibsonomy SPLASH Companion The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
27Delia Kesner, Andrés Viso The Power of Tightness for Call-By-Push-Value. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
27G. A. Kavvos, Edward Morehouse, Daniel R. Licata, Norman Danner Recurrence extraction for functional programs through call-by-push-value. Search on Bibsonomy Proc. ACM Program. Lang. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
27Jules Chouquet, Christine Tasson Taylor expansion for Call-By-Push-Value. Search on Bibsonomy CSL The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
27Andreas Abel 0001, Christian Sattler Normalization by Evaluation for Call-by-Push-Value and Polarized Lambda-Calculus. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
27G. A. Kavvos, Edward Morehouse, Daniel R. Licata, Norman Danner Recurrence Extraction for Functional Programs through Call-by-Push-Value (Extended Version). Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
27Thomas Ehrhard, Christine Tasson Probabilistic call by push value. Search on Bibsonomy Log. Methods Comput. Sci. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
27Jean Goubault-Larrecq A Probabilistic and Non-Deterministic Call-by-Push-Value Language. Search on Bibsonomy LICS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
27Dylan McDermott, Alan Mycroft Extended Call-by-Push-Value: Reasoning About Effectful Programs and Evaluation Order. Search on Bibsonomy ESOP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
27Andreas Abel 0001, Christian Sattler Normalization by Evaluation for Call-By-Push-Value and Polarized Lambda Calculus. Search on Bibsonomy PPDP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
27Yannick Forster 0002, Steven Schäfer, Simon Spies, Kathrin Stark Call-by-push-value in coq: operational, equational, and denotational theory. Search on Bibsonomy CPP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
27Jean Goubault-Larrecq A Probabilistic and Non-Deterministic Call-by-Push-Value Language. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
27Christine Rizkallah, Dmitri Garbuzov, Steve Zdancewic A Formal Equational Theory for Call-By-Push-Value. Search on Bibsonomy ITP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
27Thomas Ehrhard, Christine Tasson Probabilistic call by push value. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
27Thomas Ehrhard Call-By-Push-Value from a Linear Logic Point of View. Search on Bibsonomy ESOP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
27Paul Blain Levy Call-By-Push-Value: A Functional/Imperative Synthesis Search on Bibsonomy 2004   RDF
27Paul Blain Levy Adjunction Models For Call-By-Push-Value With Stacks. Search on Bibsonomy CTCS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
27Paul Blain Levy Call-by-push-value. Search on Bibsonomy 2001   RDF
12Jeff Egger, Rasmus Ejlers Møgelberg, Alex Simpson Enriching an Effect Calculus with Linear Types. Search on Bibsonomy CSL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #24 of 24 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license