The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1965-1991 (15) 1993-1995 (16) 1996-1999 (18) 2000-2002 (21) 2003-2005 (22) 2006-2007 (16) 2008-2010 (16) 2011-2018 (17) 2019-2024 (15)
Publication types (Num. hits)
article(34) inproceedings(122)
Venues (Conferences, Journals, ...)
POPL(14) CSL(7) LICS(7) Log. Methods Comput. Sci.(6) Theor. Comput. Sci.(6) TLCA(6) APLAS(5) CoRR(5) ICALP(5) ICFP(5) MFPS(5) FLOPS(4) FoSSaCS(4) PPDP(4) RTA(4) ACM Trans. Program. Lang. Syst...(3) More (+10 of total 66)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 59 occurrences of 45 keywords

Results
Found 156 publication records. Showing 156 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
79Paul 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
68Robert F. Stärk Call-by-Value, Call-by-Name and the Logic of Values. Search on Bibsonomy CSL The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
65Daisuke Kimura Call-by-Value Is Dual to Call-by-Name, Extended. Search on Bibsonomy APLAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
65Yoshihiko Kakutani Duality between Call-by-Name Recursion and Call-by-Value Iteration. Search on Bibsonomy CSL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
53Yoshihiko Kakutani Call-by-Name and Call-by-Value in Normal Modal Logic. Search on Bibsonomy APLAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
53Philip Wadler Call-by-value is dual to call-by-name. Search on Bibsonomy ICFP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Curry-Howard correspondence, De Morgan dual, lambda mu calculus, logic, lambda calculus, sequent calculus, natural deduction
52Hugo Herbelin, Silvia Ghilezan An approach to call-by-name delimited continuations. Search on Bibsonomy POPL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF boehm separability, delimited control, observational completeness, classical logic
46Masahito Hasegawa Semantics of Linear Continuation-Passing in Call-by-Name. Search on Bibsonomy FLOPS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
42Kohei Honda 0001, Nobuko Yoshida Game Theoretic Analysis of Call-by-Value Computation. Search on Bibsonomy ICALP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
41François-Régis Sinot Call-by-Name and Call-by-Value as Token-Passing Interaction Nets. Search on Bibsonomy TLCA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
41Jérôme Rocheteau lambda-µ-Calculus and Duality: Call-by-Name and Call-by-Value. Search on Bibsonomy RTA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
41Thomas Noll 0001 On the First-Order Equivalence of Call-by-Name and Call-by-Value. Search on Bibsonomy CAAP The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
41S. Kamal Abdali, David S. Wise Standard, Storeless Semantics for ALGOL-Style Block Structure and Call-by Name. Search on Bibsonomy Mathematical Foundations of Programming Semantics The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
39John Maraist, Martin Odersky, David N. Turner, Philip Wadler Call-by-name, Call-by-value, Call-by-need and the Linear lambda Calculus. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
39John Maraist, Martin Odersky, David N. Turner, Philip Wadler Call-by-name, call-by-value, call-by-need and the linear lambda calculus. Search on Bibsonomy MFPS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
38Hayo Thielecke Answer Type Polymorphism in Call-by-Name Continuation Passing. Search on Bibsonomy ESOP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
37Stefano Guerrini, Andrea Masini Proofs, tests and continuation passing style. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Minimal logic, call-by-name, intutionistic logic, linear logic, lambda calculus, continuations passing style, call-by-value
35Malgorzata Biernacka, Dariusz Biernacki Context-based proofs of termination for typed delimited-control operators. Search on Bibsonomy PPDP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF reducibility predicates, type system, continuation-passing style, delimited continuations, reduction semantics
33Paul Blain Levy Call-by-Push-Value: A Subsuming Paradigm. Search on Bibsonomy TLCA The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
32Bruno Monsuez Polymorphic Typing for Call-by-Name Semantics. Search on Bibsonomy Formal Methods in Programming and Their Applications The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
32Robert Harper 0001, Mark Lillibridge Explicit Polymorphism and CPS Conversion. Search on Bibsonomy POPL The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
30Dylan McDermott, Alan Mycroft Galois connecting call-by-value and call-by-name. Search on Bibsonomy Log. Methods Comput. Sci. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
30Dylan McDermott, Alan Mycroft Galois connecting call-by-value and call-by-name. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  BibTeX  RDF
30Mateusz Pyzik Call-By-Name Is Just Call-By-Value with Delimited Control. Search on Bibsonomy MFPS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
30Dylan McDermott, Alan Mycroft Galois Connecting Call-by-Value and Call-by-Name. Search on Bibsonomy FSCD The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
30Claudia Faggian, Giulio Guerrieri Factorization in Call-by-Name and Call-by-Value Calculi via Linear Logic (long version). Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
30Claudia Faggian, Giulio Guerrieri Factorization in Call-by-Name and Call-by-Value Calculi via Linear Logic. Search on Bibsonomy FoSSaCS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
30Masayuki Mizuno, Eijiro Sumii Formal Verifications of Call-by-Need and Call-by-Name Evaluations with Mutual Recursion. Search on Bibsonomy APLAS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
30Masayuki Mizuno, Eijiro Sumii Formal Verification of the Correspondence Between Call-by-Need and Call-by-Name. Search on Bibsonomy FLOPS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
30Thomas Ehrhard, Giulio Guerrieri The Bang Calculus: an untyped lambda-calculus generalizing call-by-name and call-by-value. Search on Bibsonomy PPDP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
30Dariusz Biernacki, Sergueï Lenglet Applicative Bisimilarities for Call-by-Name and Call-by-Value λμ-Calculus. Search on Bibsonomy MFPS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
30Ali Assaf 0002, Alejandro Díaz-Caro, Simon Perdrix, Christine Tasson, Benoît Valiron Call-by-value, call-by-name and the vectorial behaviour of the algebraic λ-calculus Search on Bibsonomy Log. Methods Comput. Sci. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
30Manfred Schmidt-Schauß, David Sabel Contextual Equivalences in Call-by-Need and Call-By-Name Polymorphically Typed Calculi (Preliminary Report). Search on Bibsonomy WPTE@RTA/TLCA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
30Daisuke Kimura, Makoto Tatsuta Call-by-Value and Call-by-Name Dual Calculi with Inductive and Coinductive Types Search on Bibsonomy Log. Methods Comput. Sci. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
30Markus Degen 0001, Peter Thiemann 0001, Stefan Wehr Eager and delayed contract monitoring for call-by-value and call-by-name evaluation. Search on Bibsonomy J. Log. Algebraic Methods Program. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
30Philip Wadler Call-by-Value Is Dual to Call-by-Name - Reloaded. Search on Bibsonomy RTA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
30Stéphane Lengrand Call-by-value, call-by-name, and strong normalization for the classical sequent calculus. Search on Bibsonomy WRS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
30Matthew Hennessy The Semantics of Call-By-Value and Call-By-Name in a Nondeterministic Environment. Search on Bibsonomy SIAM J. Comput. The full citation details ... 1980 DBLP  DOI  BibTeX  RDF
30Gordon D. Plotkin Call-by-Name, Call-by-Value and the lambda-Calculus. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1975 DBLP  DOI  BibTeX  RDF
30Willem P. de Roever First-Order Reductions of Call-by-Name to Call-by-Value. Search on Bibsonomy MFCS The full citation details ... 1975 DBLP  DOI  BibTeX  RDF
30Willem P. de Roever Call-by-Value versus Call-by-Name: A proof-Theoretic Comparison. Search on Bibsonomy MFCS The full citation details ... 1974 DBLP  DOI  BibTeX  RDF
30Roman L. Weil Testing the understanding of the difference between call by name and call by value in ALGOL 60. Search on Bibsonomy Commun. ACM The full citation details ... 1965 DBLP  DOI  BibTeX  RDF ALGOL
29Sylvain Lebresne A System F with Call-by-Name Exceptions. Search on Bibsonomy ICALP (2) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
29Martin Odersky, Dan Rabin, Paul Hudak Call by Name, Assignment, and the Lambda Calculus. Search on Bibsonomy POPL The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
27Pierre-Louis Curien, Hugo Herbelin The duality of computation. Search on Bibsonomy ICFP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
23Manfred Schmidt-Schauß Correctness of Copy in Calculi with Letrec. Search on Bibsonomy RTA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
23Mads Sig Ager, Dariusz Biernacki, Olivier Danvy, Jan Midtgaard A functional correspondence between evaluators and abstract machines. Search on Bibsonomy PPDP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF transformation into continuation-passing style (CPS), interpreters, abstract machines, defunctionalization, closure conversion
23Samson Abramsky, Guy McCusker Call-by-Value Games. Search on Bibsonomy CSL The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
20Ryosuke Sato 0001 Refinement Types for Call-by-name Programs. Search on Bibsonomy J. Inf. Process. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20José Espírito Santo, Maria João Frade, Luís Pinto 0001 Variations and interpretations of naturality in call-by-name lambda-calculi with generalized applications. Search on Bibsonomy J. Log. Algebraic Methods Program. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Ugo Dal Lago, Francesco Gavazzo, Ryo Tanaka Effectful applicative similarity for call-by-name lambda calculi. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
20Mathys Rennela Convexity and Order in Probabilistic Call-by-Name FPC. Search on Bibsonomy Log. Methods Comput. Sci. The full citation details ... 2020 DBLP  BibTeX  RDF
20Max S. New, Daniel R. Licata Call-by-name Gradual Type Theory. Search on Bibsonomy Log. Methods Comput. Sci. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
20Gianluca Curzi, Michele Pagani The Benefit of Being Non-Lazy in Probabilistic λ-calculus: Applicative Bisimulation is Fully Abstract for Non-Lazy Probabilistic Call-by-Name. Search on Bibsonomy LICS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
20Kenichi Asai Extracting a call-by-name partial evaluator from a proof of termination. Search on Bibsonomy PEPM@POPL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
20Simona Kasterovic, Michele Pagani The Discriminating Power of the Let-In Operator in the Lazy Call-by-Name Probabilistic lambda-Calculus. Search on Bibsonomy FSCD The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
20Max S. New, Daniel R. Licata Call-by-name Gradual Type Theory. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
20Max S. New, Daniel R. Licata Call-by-Name Gradual Type Theory. Search on Bibsonomy FSCD The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
20Keishi Watanabe, Shin-ya Nishizaki Big-step and Small-Step Semantics of the Call-by-Name RPC Calculus. Search on Bibsonomy J. Softw. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
20Philip Johnson-Freyd, Paul Downen, Zena M. Ariola Call-by-name extensionality and confluence. Search on Bibsonomy J. Funct. Program. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
20Ugo Dal Lago, Francesco Gavazzo, Ryo Tanaka Effectful Applicative Similarity for Call-by-Name Lambda Calculi. Search on Bibsonomy ICTCS/CILC The full citation details ... 2017 DBLP  BibTeX  RDF
20Mathys Rennela Convexity and Order in Probabilistic Call-by-Name FPC. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
20Antonina Nepeivoda Turchin's Relation for Call-by-Name Computations: A Formal Approach. Search on Bibsonomy VPT@ETAPS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
20Yoshihiko Kakutani, Daisuke Kimura Induction by Coinduction and Control Operators in Call-by-Name. Search on Bibsonomy COS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
20Leonardo Rodríguez, Daniel Fridlender, Miguel Pagano A Certified Extension of the Krivine Machine for a Call-by-Name Higher-Order Imperative Language. Search on Bibsonomy TYPES The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
20Asami Tanaka, Yukiyoshi Kameyama A Call-by-Name CPS Hierarchy. Search on Bibsonomy FLOPS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
20Benedikt Meurer A Step-indexed Semantic Model of Types for the Call-by-Name Lambda Calculus Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
20Alexis Saurin A Hierarchy for Delimited Continuations in Call-by-Name. Search on Bibsonomy FoSSaCS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
20Yukiyoshi Kameyama, Asami Tanaka Equational axiomatization of call-by-name delimited control. Search on Bibsonomy PPDP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
20Sylvain Lebresne A Type System For Call-By-Name Exceptions Search on Bibsonomy Log. Methods Comput. Sci. The full citation details ... 2009 DBLP  BibTeX  RDF
20Kentaro Kikuchi Call-by-name reduction and cut-elimination in classical logic. Search on Bibsonomy Ann. Pure Appl. Log. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
20Elena Machkasova Computational Soundness of a Call by Name Calculus of Recursively-scoped Records. Search on Bibsonomy WRS@RDP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
20Jean-Louis Krivine A call-by-name lambda-calculus machine. Search on Bibsonomy High. Order Symb. Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Lambda-calculus machine, Control instruction, Curry-Howard correspondence
20Vladimir Komendantsky Denotational Semantics of Call-by-name Normalization in Lambda-mu Calculus. Search on Bibsonomy MFCSIT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
20Andrzej S. Murawski Games for complexity of second-order call-by-name programs. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
20Gérard Boudol On the semantics of the call-by-name CPS transform. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
20María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal Call-By Name Partial Evaluation of Functional Logic Programs. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 1996 DBLP  BibTeX  RDF
20Kristian Nielsen, Morten Heine Sørensen Call-By-Name CPS-Translation as a Binding-Time Improvement Search on Bibsonomy SAS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
20Jean-Louis Krivine A General Storage Theorem for Integers in Call-by-Name lambda-Calculus. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
20Paul Hudak, Jonathan Young A Collecting Interpretation of Expressions (Without Powerdomains). (long version: TOPLAS 13(2): 269-290 (1991)) Search on Bibsonomy POPL The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
20Neil D. Jones, Steven S. Muchnick Even Simple Programs are Hard to Analyze. Search on Bibsonomy POPL The full citation details ... 1975 DBLP  DOI  BibTeX  RDF
19Tatsuya Abe 0001 A Concurrent System of Multi-ported Processes with Causal Dependency. Search on Bibsonomy APLAS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
18Frank Pfenning Subtyping and intersection types revisited. Search on Bibsonomy ICFP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
18David Sands 0001, Jörgen Gustavsson, Andrew Moran Lambda Calculi and Linear Speedups. Search on Bibsonomy The Essence of Computation The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
18Luca Paolini Call-by-Value Separability and Computability. Search on Bibsonomy ICTCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
18Torben Æ. Mogensen Linear Time Self-Interpretation of the Pure Lambda Calculus. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
18Pietro Cenciarelli An Algebraic View of Program Composition. Search on Bibsonomy AMAST The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
17Martin Berger 0001, Kohei Honda 0001, Nobuko Yoshida Sequentiality and the pi-Calculus. Search on Bibsonomy TLCA The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
17Peter W. O'Hearn, Jon G. Riecke Fully Abstract Translations and Parametric Polymorphism. Search on Bibsonomy ESOP The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
17Willem P. de Roever Recursion and Parameter Mechanisms: An Axiomatic Approach. Search on Bibsonomy ICALP The full citation details ... 1974 DBLP  DOI  BibTeX  RDF
15Frank Pfenning, Robert J. Simmons Substructural Operational Semantics as Ordered Logic Programming. Search on Bibsonomy LICS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
15Peter A. Jonsson, Johan Nordlander Positive supercompilation for a higher order call-by-value language. Search on Bibsonomy POPL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF deforestation, supercompilation, call-by-value
15Raffaella Bernardi, Michael Moortgat Continuation Semantics for Symmetric Categorial Grammar. Search on Bibsonomy WoLLIC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
15Davide Sangiorgi, Naoki Kobayashi 0001, Eijiro Sumii Environmental Bisimulations for Higher-Order Languages. Search on Bibsonomy LICS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
15Alex K. Simpson Reduction in a Linear Lambda-Calculus with Applications to Operational Semantics. Search on Bibsonomy RTA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
15Tom Hirschowitz Rigid Mixin Modules. Search on Bibsonomy FLOPS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
15Harry G. Mairson From Hilbert space to Dilbert space: context semantics as a language for games and flow analysis. Search on Bibsonomy ICFP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
15Jens P. Secher Driving in the Jungle. Search on Bibsonomy PADO The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
15Jeffrey R. Lewis, John Launchbury, Erik Meijer 0001, Mark Shields Implicit Parameters: Dynamic Scoping with Static Types. Search on Bibsonomy POPL The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
15Julia L. Lawall, Harry G. Mairson Sharing Continuations: Proofnets for Languages with Explicit Control. Search on Bibsonomy ESOP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 156 (100 per page; Change: )
Pages: [1][2][>>]
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