Search results for "call-by-push-value"

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.	High. Order Symb. Comput.	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.	TLCA	1999	DBLP DOI BibTeX RDF
50	Gordon D. Plotkin, Matija Pretnar	A Logic for Algebraic Effects.	LICS	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).	CoRR	2023	DBLP DOI BibTeX RDF
27	Paul Blain Levy	Call-by-push-value.	ACM SIGLOG News	2022	DBLP DOI BibTeX RDF
27	Zhuo Chen	Towards a Verified Cost Model for Call-by-Push-Value.	SPLASH Companion	2022	DBLP DOI BibTeX RDF
27	Delia Kesner, Andrés Viso	The Power of Tightness for Call-By-Push-Value.	CoRR	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.	Proc. ACM Program. Lang.	2020	DBLP DOI BibTeX RDF
27	Jules Chouquet, Christine Tasson	Taylor expansion for Call-By-Push-Value.	CSL	2020	DBLP DOI BibTeX RDF
27	Andreas Abel 0001, Christian Sattler	Normalization by Evaluation for Call-by-Push-Value and Polarized Lambda-Calculus.	CoRR	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).	CoRR	2019	DBLP BibTeX RDF
27	Thomas Ehrhard, Christine Tasson	Probabilistic call by push value.	Log. Methods Comput. Sci.	2019	DBLP DOI BibTeX RDF
27	Jean Goubault-Larrecq	A Probabilistic and Non-Deterministic Call-by-Push-Value Language.	LICS	2019	DBLP DOI BibTeX RDF
27	Dylan McDermott, Alan Mycroft	Extended Call-by-Push-Value: Reasoning About Effectful Programs and Evaluation Order.	ESOP	2019	DBLP DOI BibTeX RDF
27	Andreas Abel 0001, Christian Sattler	Normalization by Evaluation for Call-By-Push-Value and Polarized Lambda Calculus.	PPDP	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.	CPP	2019	DBLP DOI BibTeX RDF
27	Jean Goubault-Larrecq	A Probabilistic and Non-Deterministic Call-by-Push-Value Language.	CoRR	2018	DBLP BibTeX RDF
27	Christine Rizkallah, Dmitri Garbuzov, Steve Zdancewic	A Formal Equational Theory for Call-By-Push-Value.	ITP	2018	DBLP DOI BibTeX RDF
27	Thomas Ehrhard, Christine Tasson	Probabilistic call by push value.	CoRR	2016	DBLP BibTeX RDF
27	Thomas Ehrhard	Call-By-Push-Value from a Linear Logic Point of View.	ESOP	2016	DBLP DOI BibTeX RDF
27	Paul Blain Levy	Call-By-Push-Value: A Functional/Imperative Synthesis		2004	RDF
27	Paul Blain Levy	Adjunction Models For Call-By-Push-Value With Stacks.	CTCS	2002	DBLP DOI BibTeX RDF
27	Paul Blain Levy	Call-by-push-value.		2001	RDF
12	Jeff Egger, Rasmus Ejlers Møgelberg, Alex Simpson	Enriching an Effect Calculus with Linear Types.	CSL	2009	DBLP DOI BibTeX RDF