|
|
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 |
115 | Paul Blain Levy |
Call-by-push-value: Decomposing call-by-value and call-by-name. ![Search on Bibsonomy](Pics/bibsonomy.png) |
High. Order Symb. Comput. ![In: High. Order Symb. Comput. 19(4), pp. 377-414, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Call-by-push-value, Call-by-name, Lambda-calculus, Monad, Computational effect, Call-by-value |
72 | Paul Blain Levy |
Call-by-Push-Value: A Subsuming Paradigm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings, pp. 228-242, 1999, Springer, 3-540-65763-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
50 | Gordon D. Plotkin, Matija Pretnar |
A Logic for Algebraic Effects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, LICS 2008, 24-27 June 2008, Pittsburgh, PA, USA, pp. 118-129, 2008, IEEE Computer Society, 978-0-7695-3183-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
call-by-push-value, computational lambda-calculus, program logics, computational effects, algebraic operations |
27 | Cassia 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](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2311.11795, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
27 | Paul Blain Levy |
Call-by-push-value. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGLOG News ![In: ACM SIGLOG News 9(2), pp. 7-29, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Zhuo Chen |
Towards a Verified Cost Model for Call-by-Push-Value. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLASH Companion ![In: Companion Proceedings of the 2022 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, SPLASH Companion 2022, Auckland, New Zealand, December 5-10, 2022, pp. 47-49, 2022, ACM, 978-1-4503-9901-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Delia Kesner, Andrés Viso |
The Power of Tightness for Call-By-Push-Value. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2105.00564, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
27 | G. A. Kavvos, Edward Morehouse, Daniel R. Licata, Norman Danner |
Recurrence extraction for functional programs through call-by-push-value. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 4(POPL), pp. 15:1-15:31, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
27 | Jules Chouquet, Christine Tasson |
Taylor expansion for Call-By-Push-Value. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 28th EACSL Annual Conference on Computer Science Logic, CSL 2020, January 13-16, 2020, Barcelona, Spain., pp. 16:1-16:16, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-132-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
27 | Andreas Abel 0001, Christian Sattler |
Normalization by Evaluation for Call-by-Push-Value and Polarized Lambda-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1902.06097, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
27 | G. A. Kavvos, Edward Morehouse, Daniel R. Licata, Norman Danner |
Recurrence Extraction for Functional Programs through Call-by-Push-Value (Extended Version). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1911.04588, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
27 | Thomas Ehrhard, Christine Tasson |
Probabilistic call by push value. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 15(1), 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
27 | Jean Goubault-Larrecq |
A Probabilistic and Non-Deterministic Call-by-Push-Value Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019, Vancouver, BC, Canada, June 24-27, 2019, pp. 1-13, 2019, IEEE, 978-1-7281-3608-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
27 | Dylan McDermott, Alan Mycroft |
Extended Call-by-Push-Value: Reasoning About Effectful Programs and Evaluation Order. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, pp. 235-262, 2019, Springer, 978-3-030-17183-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
27 | Andreas Abel 0001, Christian Sattler |
Normalization by Evaluation for Call-By-Push-Value and Polarized Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages, PPDP 2019, Porto, Portugal, October 7-9, 2019., pp. 3:1-3:12, 2019, ACM, 978-1-4503-7249-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
27 | Yannick Forster 0002, Steven Schäfer, Simon Spies, Kathrin Stark |
Call-by-push-value in coq: operational, equational, and denotational theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPP ![In: Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2019, Cascais, Portugal, January 14-15, 2019, pp. 118-131, 2019, ACM, 978-1-4503-6222-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
27 | Jean Goubault-Larrecq |
A Probabilistic and Non-Deterministic Call-by-Push-Value Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1812.11573, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
27 | Christine Rizkallah, Dmitri Garbuzov, Steve Zdancewic |
A Formal Equational Theory for Call-By-Push-Value. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITP ![In: Interactive Theorem Proving - 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings, pp. 523-541, 2018, Springer, 978-3-319-94820-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
27 | Thomas Ehrhard, Christine Tasson |
Probabilistic call by push value. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1607.04690, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
27 | Thomas Ehrhard |
Call-By-Push-Value from a Linear Logic Point of View. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings, pp. 202-228, 2016, Springer, 978-3-662-49497-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
27 | Paul Blain Levy |
Call-By-Push-Value: A Functional/Imperative Synthesis ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2004 |
RDF |
|
27 | Paul Blain Levy |
Adjunction Models For Call-By-Push-Value With Stacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![In: Category Theory and Computer Science, CTCS 2002, Ottawa, Canada, August 15-17, 2002, pp. 248-271, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
27 | Paul Blain Levy |
Call-by-push-value. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2001 |
RDF |
|
12 | Jeff Egger, Rasmus Ejlers Møgelberg, Alex Simpson |
Enriching an Effect Calculus with Linear Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings, pp. 240-254, 2009, Springer, 978-3-642-04026-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #24 of 24 (100 per page; Change: )
|
|