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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, Tallinn, Estonia, September 6-8, 2021, pp. 6:1-6:14, 2021, ACM, 978-1-4503-8689-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITP ![In: 12th International Conference on Interactive Theorem Proving, ITP 2021, June 29 to July 1, 2021, Rome, Italy (Virtual Conference)., pp. 19:1-19:20, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-188-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 4(POPL), pp. 27:1-27:23, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Malgorzata Biernacka, Dariusz Biernacki, Witold Charatonik, Tomasz Drab |
An Abstract Machine for Strong Call by Value. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2009.06984, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
15 | Axel Kerinec, Giulio Manzonetto, Michele Pagani |
Revisiting Call-by-value Böhm trees in light of their Taylor expansion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 16(3), 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
15 | Makoto Hamana, Tatsuya Abe 0001, Kentaro Kikuchi |
Polymorphic computation systems: Theory and practice of confluence with call-by-value. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 187, pp. 102322, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Malgorzata Biernacka, Dariusz Biernacki, Witold Charatonik, Tomasz Drab |
An Abstract Machine for Strong Call by Value. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 - December 2, 2020, Proceedings, pp. 147-166, 2020, Springer, 978-3-030-64436-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | José Espírito Santo |
The Call-By-Value Lambda-Calculus with Generalized Applications. ![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. 35:1-35:12, 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 |
|
15 | Giulio Manzonetto, Michele Pagani, Simona Ronchi Della Rocca |
New Semantical Insights Into Call-by-Value λ-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 170(1-3), pp. 241-265, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1909.06215, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1902.07515, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
15 | Yannick Forster 0002, Fabian Kunze |
A certifying extraction with time bounds from Coq to call-by-value $λ$-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1904.11818, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
15 | Yannick Forster 0002, Gert Smolka |
Call-by-Value Lambda Calculus as a Model of Computation in Coq. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 63(2), pp. 393-413, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Beniamino Accattoli, Giulio Guerrieri |
Abstract machines for Open Call-by-Value. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 184, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: IFL '19: Implementation and Application of Functional Languages, Singapore, September 25-27, 2019., pp. 8:1-8:12, 2019, ACM, 978-1-4503-7562-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITP ![In: 10th International Conference on Interactive Theorem Proving, ITP 2019, September 9-12, 2019, Portland, OR, USA., pp. 17:1-17:19, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-122-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Giulio Guerrieri |
Towards a Semantic Measure of the Execution Time in Call-by-Value lambda-Calculus (Long Version). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1812.10799, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
15 | Axel Kerinec, Giulio Manzonetto, Michele Pagani |
Revisiting Call-by-value Bohm trees in light of their Taylor expansion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1809.02659, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
15 | Fabian Kunze, Gert Smolka, Yannick Forster 0002 |
Formal Small-step Verification of a Call-by-value Lambda Calculus Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1806.03205, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
15 | Giulio Guerrieri |
Towards a Semantic Measure of the Execution Time in Call-by-Value lambda-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM/ITRS ![In: Proceedings Twelfth Workshop on Developments in Computational Models and Ninth Workshop on Intersection Types and Related Systems, DCM/ITRS 2018, Oxford, UK, 8th July 2018., pp. 57-72, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2-6, 2018, Proceedings, pp. 264-283, 2018, Springer, 978-3-030-02767-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Ryu Hasegawa |
Complete Call-by-Value Calculi of Control Operators II: Strong Termination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1707.02034, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
15 | Ryu Hasegawa |
Complete Call-by-Value Calculi of Control Operators, I. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1707.02056, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
15 | Beniamino Accattoli, Giulio Guerrieri |
Implementing Open Call-by-Value (Extended Version). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1701.08186, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
15 | Giulio Guerrieri, Luca Paolini, Simona Ronchi Della Rocca |
Standardization and Conservativity of a Refined Call-by-Value lambda-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 13(4), 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Proceedings of the 29th Symposium on Implementation and Application of Functional Programming Languages, IFL 2017, Bristol, UK, August 30 - September 01, 2017, pp. 5:1-5:12, 2017, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Proceedings of the 21st Brazilian Symposium on Programming Languages, SBLP 2017, Fortaleza, CE, Brazil, September 21-22, 2017, pp. 6:1-6:8, 2017, ACM, 978-1-4503-5389-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Beniamino Accattoli, Giulio Guerrieri |
Implementing Open Call-by-Value. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSEN ![In: Fundamentals of Software Engineering - 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers, pp. 1-19, 2017, Springer, 978-3-319-68971-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Yannick Forster 0002, Gert Smolka |
Weak Call-by-Value Lambda Calculus as a Model of Computation in Coq. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITP ![In: Interactive Theorem Proving - 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings, pp. 189-206, 2017, Springer, 978-3-319-66106-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Beniamino Accattoli, Giulio Guerrieri |
Open Call-by-Value (Extended Version). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1609.00322, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
15 | Giulio Guerrieri, Luca Paolini, Simona Ronchi Della Rocca |
Standardization and Conservativity of a Refined Call-by-Value lambda-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1611.07255, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
15 | Beniamino Accattoli, Giulio Guerrieri |
Open Call-by-Value. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings, pp. 206-226, 2016, 978-3-319-47957-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Beniamino Accattoli |
Proof nets and the call-by-value λ-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 606, pp. 2-24, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Giulio Guerrieri, Luca Paolini, Simona Ronchi Della Rocca |
Standardization of a Call-By-Value Lambda-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: 13th International Conference on Typed Lambda Calculi and Applications, TLCA 2015, July 1-3, 2015, Warsaw, Poland, pp. 211-225, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-87-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Ulrich Schöpp |
From Call-by-Value to Interaction by Typed Closure Conversion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings, pp. 251-270, 2015, Springer, 978-3-319-26528-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Erika De Benedetti, Simona Ronchi Della Rocca |
Call-by-Value, Elementary Time and Intersection Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOPARA ![In: Foundational and Practical Aspects of Resource Analysis - 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015, Revised Selected Papers, pp. 40-59, 2015, 978-3-319-46558-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Giulio Guerrieri |
Head reduction and normalization in a call-by-value lambda-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WPTE@RDP ![In: 2nd International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE@RDP 2015, July 2, 2015, Warsaw, Poland, pp. 3-17, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-94-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Olle Fredriksson |
Distributed call-by-value machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1401.5097, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
15 | Raphaëlle Crubillé, Ugo Dal Lago |
On Probabilistic Applicative Bisimulation and Call-by-Value λ-Calculi (Long Version). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1401.3766, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
15 | Ugo Dal Lago, Barbara Petit |
Linear dependent types in a call-by-value scenario. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 84, pp. 77-100, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Takeshi Tsukada, Naoki Kobayashi 0001 |
Complexity of Model-Checking Call-by-Value Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structures - 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings, pp. 180-194, 2014, Springer, 978-3-642-54829-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Alberto Carraro, Giulio Guerrieri |
A Semantical and Operational Account of Call-by-Value Solvability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structures - 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings, pp. 103-118, 2014, Springer, 978-3-642-54829-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Ulrich Schöpp |
Call-by-Value in a Basic Logic for Interaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 12th Asian Symposium, APLAS 2014, Singapore, November 17-19, 2014, Proceedings, pp. 428-448, 2014, Springer, 978-3-319-12735-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Raphaëlle Crubillé, Ugo Dal Lago |
On Probabilistic Applicative Bisimulation and Call-by-Value λ-Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings, pp. 209-228, 2014, Springer, 978-3-642-54832-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA-TLCA ![In: Rewriting and Typed Lambda Calculi - Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings, pp. 379-394, 2014, Springer, 978-3-319-08917-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1312.4507, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
15 | Alejandro Díaz-Caro, Giulio Manzonetto, Michele Pagani |
Call-by-Value Non-determinism in a Linear Logic Type Discipline. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFCS ![In: Logical Foundations of Computer Science, International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings, pp. 164-178, 2013, Springer, 978-3-642-35721-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Ugo Dal Lago, Barbara Petit |
Linear Dependent Types in a Call-by-Value Scenario (Long Version) ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1207.5592, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
15 | Beniamino Accattoli |
Proof nets and the call-by-value lambda-calculus ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![In: Proceedings Seventh Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2012, Rio de Janeiro, Brazil, September 29-30, 2012., pp. 11-26, 2012. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSFP ![In: Proceedings Fourth Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2012, Tallinn, Estonia, 25 March 2012., pp. 112-162, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Robbert Krebbers |
A call-by-value lambda-calculus with lists and control ![Search on Bibsonomy](Pics/bibsonomy.png) |
CL&C ![In: Proceedings Fourth Workshop on Classical Logic and Computation, CL&C 2012, Warwick, England, 8th July 2012., pp. 19-33, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Alejandro Díaz-Caro, Barbara Petit |
Linearity in the Non-deterministic Call-by-Value Setting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information and Computation - 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings, pp. 216-231, 2012, Springer, 978-3-642-32620-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Naohiko Hoshino |
Step Indexed Realizability Semantics for a Call-by-Value Language Based on Basic Combinatorial Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, LICS 2012, Dubrovnik, Croatia, June 25-28, 2012, pp. 385-394, 2012, IEEE Computer Society, 978-1-4673-2263-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLPV ![In: Proceedings of the sixth workshop on Programming Languages meets Program Verification, PLPV 2012, Philadelphia, PA, USA, January 24, 2012, pp. 15-26, 2012, ACM, 978-1-4503-1125-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Judith Rohloff, Florian Lorenzen |
Call-by-Value Semantics for Mutually Recursive First-Class Modules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trends in Functional Programming ![In: Trends in Functional Programming - 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers, pp. 101-116, 2012, Springer, 978-3-642-40446-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Beniamino Accattoli, Luca Paolini |
Call-by-Value Solvability, Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings, pp. 4-16, 2012, Springer, 978-3-642-29821-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Ugo Dal Lago, Barbara Petit |
Linear dependent types in a call-by-value scenario. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Principles and Practice of Declarative Programming, PPDP'12, Leuven, Belgium - September 19 - 21, 2012, pp. 115-126, 2012, ACM, 978-1-4503-1522-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Rasmus Ejlers Møgelberg, Sam Staton |
Linearly-Used State in Models of Call-by-Value. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science - 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings, pp. 298-313, 2011, Springer, 978-3-642-22943-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Peter A. Jonsson, Johan Nordlander |
Positive Supercompilation for a Higher-Order Call-By-Value Language ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 6(3), 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
15 | James Laird |
Game Semantics for Call-by-Value Polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP (2) ![In: Automata, Languages and Programming, 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II, pp. 187-198, 2010, Springer, 978-3-642-14161-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Tom Hirschowitz, Xavier Leroy, J. B. Wells |
Compilation of extended recursion in call-by-value functional languages ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0902.1257, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
15 | Tom Hirschowitz, Xavier Leroy, J. B. Wells |
Compilation of extended recursion in call-by-value functional languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
High. Order Symb. Comput. ![In: High. Order Symb. Comput. 22(1), pp. 3-66, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Nobuyuki Sato, Eijiro Sumii |
The Higher-Order, Call-by-Value Applied Pi-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems, 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009. Proceedings, pp. 311-326, 2009, Springer, 978-3-642-10671-2. The full citation details ...](Pics/full.jpeg) |
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) ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0801.0813, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
15 | Stéphane Lengrand |
Termination of lambda-calculus with the extra Call-By-Value rule known as assoc ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0806.4859, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
15 | Neil D. Jones, Nina Bohr |
Call-by-value Termination in the Untyped Lambda-calculus ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0801.0882, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
15 | Paolo Coppola 0001, Ugo Dal Lago, Simona Ronchi Della Rocca |
Light Logics and the Call-by-Value Lambda Calculus ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0809.0195, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
15 | Neil D. Jones, Nina Bohr |
Call-by-Value Termination in the Untyped lambda-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 4(1), 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 4(4), 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Gregory H. Cooper |
Integrating Dataflow Evaluation into a Practical Higher-Order Call-by-Value Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2008 |
RDF |
|
15 | Roy Dyckhoff, Stéphane Lengrand |
Call-by-Value lambda-calculus and LJQ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 17(6), pp. 1109-1134, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | John Power, Miki Tanaka |
Axiomatics for Data Refinement in Call by Value Programming Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCSIT ![In: Proceedings of the Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, MFCSIT 2006, Cork, Ireland, August 1-5, 2006, pp. 281-302, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Tom Hirschowitz, Xavier Leroy |
Mixin modules in a call-by-value setting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 27(5), pp. 857-881, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
type systems, recursion, modules, Mixins |
15 | Kenichi Asai |
Logical relations for call-by-value delimited continuations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trends in Functional Programming ![In: Revised Selected Papers from the Sixth Symposium on Trends in Functional Programming, TFP 2005, Tallinn, Estonia, 23-24 September 2005., pp. 63-78, 2005, Intellect, 978-1-84150-176-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
15 | Carsten Führmann, Hayo Thielecke |
On the call-by-value CPS transform and its semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 188(2), pp. 241-283, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Matthew Thomas Burt |
Games, call-by-value and Featherweight Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2004 |
RDF |
|
15 | Koji Nakazawa |
Confluency and strong normalizability of call-by-value lambda-µ-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 290(1), pp. 429-463, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Paul Blain Levy, John Power, Hayo Thielecke |
Modelling environments in call-by-value programming languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 185(2), pp. 182-210, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Hajime Ishihara, Toshihiko Kurata |
Completeness of intersection and union type assignment systems for call-by-value lambda-models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 272(1-2), pp. 197-221, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Masahito Hasegawa, Yoshihiko Kakutani |
Axioms for Recursion in Call-by-Value. ![Search on Bibsonomy](Pics/bibsonomy.png) |
High. Order Symb. Comput. ![In: High. Order Symb. Comput. 15(2-3), pp. 235-264, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Jon G. Riecke, Anders Sandholm 0001 |
A Relational Account of Call-by-Value Sequentiality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 179(2), pp. 296-331, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Tom Hirschowitz, Xavier Leroy |
Mixin Modules in a Call-by-Value Setting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 11th European Symposium on Programming, ESOP 2002, held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings, pp. 6-20, 2002, Springer, 3-540-43363-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Gérard Boudol, Pascal Zimmer |
Recursion in the call-by-value lambda-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: Fixed Points in Computer Science, FICS 2002, Copenhagen, Denmark, 20-21 July 2002, Preliminary Proceedings, pp. 61-66, 2002, University of Aarhus. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
15 | Dan R. Ghica |
Regular-Language Semantics for a Call-by-Value Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Seventeenth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2001, Aarhus, Denmark, May 23-26, 2001, pp. 106-118, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Carsten Führmann |
The structure of call-by-value. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2000 |
RDF |
|
15 | Yasuhiko Minamide |
Space-Profiling Semantics of the Call-by-Value Lambda Calculus and the CPS Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HOOTS ![In: Third Workshop on Higher-Order Operational Techniques in Semantics, HOOTS 1999, Paris, France, September 30 - October 1, 1999, pp. 105-120, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Alberto Pravato, Simona Ronchi Della Rocca, Luca Roversi |
The call-by-value [lambda]-calculus: a semantic investigation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 9(5), pp. 617-650, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
15 | Kohei Honda 0001, Nobuko Yoshida |
Game-Theoretic Analysis of Call-by-Value Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 221(1-2), pp. 393-456, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Luca Paolini, Simona Ronchi Della Rocca |
Call-by-value Solvability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAIRO Theor. Informatics Appl. ![In: RAIRO Theor. Informatics Appl. 33(6), pp. 507-534, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Loïc Colson, Daniel Fredholm |
System T, Call-by-Value and the Minimum Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 206(1-2), pp. 301-315, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
15 | Anindya Banerjee 0001, David A. Schmidt |
Stackability in the Simply-Typed Call-by-Value lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 31(1), pp. 47-73, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
15 | Amr Sabry, Philip Wadler |
A Reflection on Call-by-Value. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 1996 ACM SIGPLAN International Conference on Functional Programming, ICFP 1996, Philadelphia, Pennsylvania, USA, May 24-26, 1996., pp. 13-24, 1996, ACM, 0-89791-770-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
15 | Martin Hofmann 0001 |
Sound and Complete Axiomatisations of Call-by-Value Control Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 5(4), pp. 461-482, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
15 | David A. Naumann |
Data Refinement, Call by Value and Higher Order Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 7(6), pp. 651-662, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
15 | Alberto Pravato, Simona Ronchi Della Rocca, Luca Roversi |
Categorical semantics of the call-by-value lambda-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, UK, April 10-12, 1995, Proceedings, pp. 381-396, 1995, Springer, 3-540-59048-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
15 | Anindya Banerjee 0001, David A. Schmidt |
Stackability in the Simply-Typed Call-by-Value Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, First International Static Analysis Symposium, SAS'94, Namur, Belgium, September 28-30, 1994, Proceedings, pp. 131-146, 1994, Springer, 3-540-58485-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
15 | Kurt Sieber |
Call-by-Value and Nondeterminism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, International Conference on Typed Lambda Calculi and Applications, TLCA '93, Utrecht, The Netherlands, March 16-18, 1993, Proceedings, pp. 376-390, 1993, Springer, 3-540-56517-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
15 | Lavinia Egidi, Furio Honsell, Simona Ronchi Della Rocca |
The lazy call-by-value Lamda-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1991, 16th International Symposium, MFCS'91, Kazimierz Dolny, Poland, September 9-13, 1991, Proceedings, pp. 161-169, 1991, Springer, 3-540-54345-7. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
15 | Edmund Robinson, Giuseppe Rosolini |
Polymorphism, Set Theory, and Call-by-Value ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Fifth Annual Symposium on Logic in Computer Science (LICS '90), Philadelphia, Pennsylvania, USA, June 4-7, 1990, pp. 12-18, 1990, IEEE Computer Society, 0-8186-2073-0. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
15 | Ravi Sethi, Adrian Tang 0001 |
Constructing Call-by-Value Continuation Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 27(3), pp. 580-597, 1980. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|