Search results for "call-by-value"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Malgorzata Biernacka, Witold Charatonik, Tomasz Drab	A Derived Reasonable Abstract Machine for Strong Call by Value.	PPDP	2021	DBLP DOI BibTeX RDF
15	Yannick Forster 0002, Fabian Kunze, Gert Smolka, Maxi Wuttke	A Mechanised Proof of the Time Invariance Thesis for the Weak Call-By-Value λ-Calculus.	ITP	2021	DBLP DOI BibTeX RDF
15	Yannick Forster 0002, Fabian Kunze, Marc Roth	The weak call-by-value λ-calculus is reasonable for both time and space.	Proc. ACM Program. Lang.	2020	DBLP DOI BibTeX RDF
15	Malgorzata Biernacka, Dariusz Biernacki, Witold Charatonik, Tomasz Drab	An Abstract Machine for Strong Call by Value.	CoRR	2020	DBLP BibTeX RDF
15	Axel Kerinec, Giulio Manzonetto, Michele Pagani	Revisiting Call-by-value Böhm trees in light of their Taylor expansion.	Log. Methods Comput. Sci.	2020	DBLP BibTeX RDF
15	Makoto Hamana, Tatsuya Abe 0001, Kentaro Kikuchi	Polymorphic computation systems: Theory and practice of confluence with call-by-value.	Sci. Comput. Program.	2020	DBLP DOI BibTeX RDF
15	Malgorzata Biernacka, Dariusz Biernacki, Witold Charatonik, Tomasz Drab	An Abstract Machine for Strong Call by Value.	APLAS	2020	DBLP DOI BibTeX RDF
15	José Espírito Santo	The Call-By-Value Lambda-Calculus with Generalized Applications.	CSL	2020	DBLP DOI BibTeX RDF
15	Giulio Manzonetto, Michele Pagani, Simona Ronchi Della Rocca	New Semantical Insights Into Call-by-Value λ-Calculus.	Fundam. Informaticae	2019	DBLP DOI BibTeX RDF
15	Krzysztof R. Apt, Frank S. de Boer	Reasoning about call-by-value: a missing result in the history of Hoare's logic.	CoRR	2019	DBLP BibTeX RDF
15	Yannick Forster 0002, Fabian Kunze, Marc Roth	The Weak Call-By-Value λ-Calculus is Reasonable for Both Time and Space.	CoRR	2019	DBLP BibTeX RDF
15	Yannick Forster 0002, Fabian Kunze	A certifying extraction with time bounds from Coq to call-by-value $λ$-calculus.	CoRR	2019	DBLP BibTeX RDF
15	Yannick Forster 0002, Gert Smolka	Call-by-Value Lambda Calculus as a Model of Computation in Coq.	J. Autom. Reason.	2019	DBLP DOI BibTeX RDF
15	Beniamino Accattoli, Giulio Guerrieri	Abstract machines for Open Call-by-Value.	Sci. Comput. Program.	2019	DBLP DOI BibTeX RDF
15	Giuseppe Castagna, Guillaume Duboc, Victor Lanvin, Jeremy G. Siek	A space-efficient call-by-value virtual machine for gradual set-theoretic types.	IFL	2019	DBLP DOI BibTeX RDF
15	Yannick Forster 0002, Fabian Kunze	A Certifying Extraction with Time Bounds from Coq to Call-By-Value Lambda Calculus.	ITP	2019	DBLP DOI BibTeX RDF
15	Giulio Guerrieri	Towards a Semantic Measure of the Execution Time in Call-by-Value lambda-Calculus (Long Version).	CoRR	2018	DBLP BibTeX RDF
15	Axel Kerinec, Giulio Manzonetto, Michele Pagani	Revisiting Call-by-value Bohm trees in light of their Taylor expansion.	CoRR	2018	DBLP BibTeX RDF
15	Fabian Kunze, Gert Smolka, Yannick Forster 0002	Formal Small-step Verification of a Call-by-value Lambda Calculus Machine.	CoRR	2018	DBLP BibTeX RDF
15	Giulio Guerrieri	Towards a Semantic Measure of the Execution Time in Call-by-Value lambda-Calculus.	DCM/ITRS	2018	DBLP DOI BibTeX RDF
15	Fabian Kunze, Gert Smolka, Yannick Forster 0002	Formal Small-Step Verification of a Call-by-Value Lambda Calculus Machine.	APLAS	2018	DBLP DOI BibTeX RDF
15	Ryu Hasegawa	Complete Call-by-Value Calculi of Control Operators II: Strong Termination.	CoRR	2017	DBLP BibTeX RDF
15	Ryu Hasegawa	Complete Call-by-Value Calculi of Control Operators, I.	CoRR	2017	DBLP BibTeX RDF
15	Beniamino Accattoli, Giulio Guerrieri	Implementing Open Call-by-Value (Extended Version).	CoRR	2017	DBLP BibTeX RDF
15	Giulio Guerrieri, Luca Paolini, Simona Ronchi Della Rocca	Standardization and Conservativity of a Refined Call-by-Value lambda-Calculus.	Log. Methods Comput. Sci.	2017	DBLP DOI BibTeX RDF
15	Artjoms Sinkarovs, Sven-Bodo Scholz, Robert J. Stewart 0001, Hans-Nikolai Vießmann	Recursive Array Comprehensions in a Call-by-Value Language.	IFL	2017	DBLP DOI BibTeX RDF
15	Alejandro Gadea, Emmanuel Gunther, Miguel Pagano	The importance of being Extrinsic: Coherence and adequacy for a call-by-value language.	SBLP	2017	DBLP DOI BibTeX RDF
15	Beniamino Accattoli, Giulio Guerrieri	Implementing Open Call-by-Value.	FSEN	2017	DBLP DOI BibTeX RDF
15	Yannick Forster 0002, Gert Smolka	Weak Call-by-Value Lambda Calculus as a Model of Computation in Coq.	ITP	2017	DBLP DOI BibTeX RDF
15	Beniamino Accattoli, Giulio Guerrieri	Open Call-by-Value (Extended Version).	CoRR	2016	DBLP BibTeX RDF
15	Giulio Guerrieri, Luca Paolini, Simona Ronchi Della Rocca	Standardization and Conservativity of a Refined Call-by-Value lambda-Calculus.	CoRR	2016	DBLP BibTeX RDF
15	Beniamino Accattoli, Giulio Guerrieri	Open Call-by-Value.	APLAS	2016	DBLP DOI BibTeX RDF
15	Beniamino Accattoli	Proof nets and the call-by-value λ-calculus.	Theor. Comput. Sci.	2015	DBLP DOI BibTeX RDF
15	Giulio Guerrieri, Luca Paolini, Simona Ronchi Della Rocca	Standardization of a Call-By-Value Lambda-Calculus.	TLCA	2015	DBLP DOI BibTeX RDF
15	Ulrich Schöpp	From Call-by-Value to Interaction by Typed Closure Conversion.	APLAS	2015	DBLP DOI BibTeX RDF
15	Erika De Benedetti, Simona Ronchi Della Rocca	Call-by-Value, Elementary Time and Intersection Types.	FOPARA	2015	DBLP DOI BibTeX RDF
15	Giulio Guerrieri	Head reduction and normalization in a call-by-value lambda-calculus.	WPTE@RDP	2015	DBLP DOI BibTeX RDF
15	Olle Fredriksson	Distributed call-by-value machines.	CoRR	2014	DBLP BibTeX RDF
15	Raphaëlle Crubillé, Ugo Dal Lago	On Probabilistic Applicative Bisimulation and Call-by-Value λ-Calculi (Long Version).	CoRR	2014	DBLP BibTeX RDF
15	Ugo Dal Lago, Barbara Petit	Linear dependent types in a call-by-value scenario.	Sci. Comput. Program.	2014	DBLP DOI BibTeX RDF
15	Takeshi Tsukada, Naoki Kobayashi 0001	Complexity of Model-Checking Call-by-Value Programs.	FoSSaCS	2014	DBLP DOI BibTeX RDF
15	Alberto Carraro, Giulio Guerrieri	A Semantical and Operational Account of Call-by-Value Solvability.	FoSSaCS	2014	DBLP DOI BibTeX RDF
15	Ulrich Schöpp	Call-by-Value in a Basic Logic for Interaction.	APLAS	2014	DBLP DOI BibTeX RDF
15	Raphaëlle Crubillé, Ugo Dal Lago	On Probabilistic Applicative Bisimulation and Call-by-Value λ-Calculi.	ESOP	2014	DBLP DOI BibTeX RDF
15	Manfred Schmidt-Schauß, David Sabel	Applicative May- and Should-Simulation in the Call-by-Value Lambda Calculus with AMB.	RTA-TLCA	2014	DBLP DOI BibTeX RDF
15	Alejandro Díaz-Caro, Giulio Manzonetto, Michele Pagani	Call-by-value non-determinism in a linear logic type discipline.	CoRR	2013	DBLP BibTeX RDF
15	Alejandro Díaz-Caro, Giulio Manzonetto, Michele Pagani	Call-by-Value Non-determinism in a Linear Logic Type Discipline.	LFCS	2013	DBLP DOI BibTeX RDF
15	Ugo Dal Lago, Barbara Petit	Linear Dependent Types in a Call-by-Value Scenario (Long Version)	CoRR	2012	DBLP BibTeX RDF
15	Beniamino Accattoli	Proof nets and the call-by-value lambda-calculus	LSFA	2012	DBLP DOI BibTeX RDF
15	Vilhelm Sjöberg, Chris Casinghino, Ki Yung Ahn, Nathan Collins, Harley D. Eades III, Peng Fu 0001, Garrin Kimmell, Tim Sheard, Aaron Stump, Stephanie Weirich	Irrelevance, Heterogeneous Equality, and Call-by-value Dependent Type Systems	MSFP	2012	DBLP DOI BibTeX RDF
15	Robbert Krebbers	A call-by-value lambda-calculus with lists and control	CL&C	2012	DBLP DOI BibTeX RDF
15	Alejandro Díaz-Caro, Barbara Petit	Linearity in the Non-deterministic Call-by-Value Setting.	WoLLIC	2012	DBLP DOI BibTeX RDF
15	Naohiko Hoshino	Step Indexed Realizability Semantics for a Call-by-Value Language Based on Basic Combinatorial Objects.	LICS	2012	DBLP DOI BibTeX RDF
15	Garrin Kimmell, Aaron Stump, Harley D. Eades III, Peng Fu 0001, Tim Sheard, Stephanie Weirich, Chris Casinghino, Vilhelm Sjöberg, Nathan Collins, Ki Yung Ahn	Equational reasoning about programs with general recursion and call-by-value semantics.	PLPV	2012	DBLP DOI BibTeX RDF
15	Judith Rohloff, Florian Lorenzen	Call-by-Value Semantics for Mutually Recursive First-Class Modules.	Trends in Functional Programming	2012	DBLP DOI BibTeX RDF
15	Beniamino Accattoli, Luca Paolini	Call-by-Value Solvability, Revisited.	FLOPS	2012	DBLP DOI BibTeX RDF
15	Ugo Dal Lago, Barbara Petit	Linear dependent types in a call-by-value scenario.	PPDP	2012	DBLP DOI BibTeX RDF
15	Rasmus Ejlers Møgelberg, Sam Staton	Linearly-Used State in Models of Call-by-Value.	CALCO	2011	DBLP DOI BibTeX RDF
15	Peter A. Jonsson, Johan Nordlander	Positive Supercompilation for a Higher-Order Call-By-Value Language	Log. Methods Comput. Sci.	2010	DBLP BibTeX RDF
15	James Laird	Game Semantics for Call-by-Value Polymorphism.	ICALP (2)	2010	DBLP DOI BibTeX RDF
15	Tom Hirschowitz, Xavier Leroy, J. B. Wells	Compilation of extended recursion in call-by-value functional languages	CoRR	2009	DBLP BibTeX RDF
15	Tom Hirschowitz, Xavier Leroy, J. B. Wells	Compilation of extended recursion in call-by-value functional languages.	High. Order Symb. Comput.	2009	DBLP DOI BibTeX RDF
15	Nobuyuki Sato, Eijiro Sumii	The Higher-Order, Call-by-Value Applied Pi-Calculus.	APLAS	2009	DBLP DOI BibTeX RDF
15	Peter Selinger, Benoît Valiron	A linear-non-linear model for a computational call-by-value lambda calculus (extended abstract)	CoRR	2008	DBLP BibTeX RDF
15	Stéphane Lengrand	Termination of lambda-calculus with the extra Call-By-Value rule known as assoc	CoRR	2008	DBLP BibTeX RDF
15	Neil D. Jones, Nina Bohr	Call-by-value Termination in the Untyped Lambda-calculus	CoRR	2008	DBLP BibTeX RDF
15	Paolo Coppola 0001, Ugo Dal Lago, Simona Ronchi Della Rocca	Light Logics and the Call-by-Value Lambda Calculus	CoRR	2008	DBLP BibTeX RDF
15	Neil D. Jones, Nina Bohr	Call-by-Value Termination in the Untyped lambda-Calculus.	Log. Methods Comput. Sci.	2008	DBLP DOI BibTeX RDF
15	Paolo Coppola 0001, Ugo Dal Lago, Simona Ronchi Della Rocca	Light Logics and the Call-by-Value Lambda Calculus.	Log. Methods Comput. Sci.	2008	DBLP DOI BibTeX RDF
15	Gregory H. Cooper	Integrating Dataflow Evaluation into a Practical Higher-Order Call-by-Value Language.		2008	RDF
15	Roy Dyckhoff, Stéphane Lengrand	Call-by-Value lambda-calculus and LJQ.	J. Log. Comput.	2007	DBLP DOI BibTeX RDF
15	John Power, Miki Tanaka	Axiomatics for Data Refinement in Call by Value Programming Languages.	MFCSIT	2006	DBLP DOI BibTeX RDF
15	Tom Hirschowitz, Xavier Leroy	Mixin modules in a call-by-value setting.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	type systems, recursion, modules, Mixins
15	Kenichi Asai	Logical relations for call-by-value delimited continuations.	Trends in Functional Programming	2005	DBLP BibTeX RDF
15	Carsten Führmann, Hayo Thielecke	On the call-by-value CPS transform and its semantics.	Inf. Comput.	2004	DBLP DOI BibTeX RDF
15	Matthew Thomas Burt	Games, call-by-value and Featherweight Java.		2004	RDF
15	Koji Nakazawa	Confluency and strong normalizability of call-by-value lambda-µ-calculus.	Theor. Comput. Sci.	2003	DBLP DOI BibTeX RDF
15	Paul Blain Levy, John Power, Hayo Thielecke	Modelling environments in call-by-value programming languages.	Inf. Comput.	2003	DBLP DOI BibTeX RDF
15	Hajime Ishihara, Toshihiko Kurata	Completeness of intersection and union type assignment systems for call-by-value lambda-models.	Theor. Comput. Sci.	2002	DBLP DOI BibTeX RDF
15	Masahito Hasegawa, Yoshihiko Kakutani	Axioms for Recursion in Call-by-Value.	High. Order Symb. Comput.	2002	DBLP DOI BibTeX RDF
15	Jon G. Riecke, Anders Sandholm 0001	A Relational Account of Call-by-Value Sequentiality.	Inf. Comput.	2002	DBLP DOI BibTeX RDF
15	Tom Hirschowitz, Xavier Leroy	Mixin Modules in a Call-by-Value Setting.	ESOP	2002	DBLP DOI BibTeX RDF
15	Gérard Boudol, Pascal Zimmer	Recursion in the call-by-value lambda-calculus.	FICS	2002	DBLP BibTeX RDF
15	Dan R. Ghica	Regular-Language Semantics for a Call-by-Value Programming Language.	MFPS	2001	DBLP DOI BibTeX RDF
15	Carsten Führmann	The structure of call-by-value.		2000	RDF
15	Yasuhiko Minamide	Space-Profiling Semantics of the Call-by-Value Lambda Calculus and the CPS Transformation.	HOOTS	1999	DBLP DOI BibTeX RDF
15	Alberto Pravato, Simona Ronchi Della Rocca, Luca Roversi	The call-by-value [lambda]-calculus: a semantic investigation.	Math. Struct. Comput. Sci.	1999	DBLP BibTeX RDF
15	Kohei Honda 0001, Nobuko Yoshida	Game-Theoretic Analysis of Call-by-Value Computation.	Theor. Comput. Sci.	1999	DBLP DOI BibTeX RDF
15	Luca Paolini, Simona Ronchi Della Rocca	Call-by-value Solvability.	RAIRO Theor. Informatics Appl.	1999	DBLP DOI BibTeX RDF
15	Loïc Colson, Daniel Fredholm	System T, Call-by-Value and the Minimum Problem.	Theor. Comput. Sci.	1998	DBLP DOI BibTeX RDF
15	Anindya Banerjee 0001, David A. Schmidt	Stackability in the Simply-Typed Call-by-Value lambda Calculus.	Sci. Comput. Program.	1998	DBLP DOI BibTeX RDF
15	Amr Sabry, Philip Wadler	A Reflection on Call-by-Value.	ICFP	1996	DBLP DOI BibTeX RDF
15	Martin Hofmann 0001	Sound and Complete Axiomatisations of Call-by-Value Control Operators.	Math. Struct. Comput. Sci.	1995	DBLP DOI BibTeX RDF
15	David A. Naumann	Data Refinement, Call by Value and Higher Order Programs.	Formal Aspects Comput.	1995	DBLP DOI BibTeX RDF
15	Alberto Pravato, Simona Ronchi Della Rocca, Luca Roversi	Categorical semantics of the call-by-value lambda-calculus.	TLCA	1995	DBLP DOI BibTeX RDF
15	Anindya Banerjee 0001, David A. Schmidt	Stackability in the Simply-Typed Call-by-Value Lambda Calculus.	SAS	1994	DBLP DOI BibTeX RDF
15	Kurt Sieber	Call-by-Value and Nondeterminism.	TLCA	1993	DBLP DOI BibTeX RDF
15	Lavinia Egidi, Furio Honsell, Simona Ronchi Della Rocca	The lazy call-by-value Lamda-Calculus.	MFCS	1991	DBLP DOI BibTeX RDF
15	Edmund Robinson, Giuseppe Rosolini	Polymorphism, Set Theory, and Call-by-Value	LICS	1990	DBLP DOI BibTeX RDF
15	Ravi Sethi, Adrian Tang 0001	Constructing Call-by-Value Continuation Semantics.	J. ACM	1980	DBLP DOI BibTeX RDF