Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Accattoli, Beniamino
and
Guerrieri, Giulio
2018.
Programming Languages and Systems.
Vol. 11275,
Issue. ,
p.
45.
Accattoli, Beniamino
Guerrieri, Giulio
and
Leberle, Maico
2019.
Programming Languages and Systems.
Vol. 11423,
Issue. ,
p.
410.
Guerrieri, Giulio
2019.
Towards a Semantic Measure of the Execution Time in Call-by-Value lambda-Calculus.
Electronic Proceedings in Theoretical Computer Science,
Vol. 293,
Issue. ,
p.
57.
Shen, Xinxin
and
Zheng, Kougen
2019.
Characterizing Strongly Normalizing λGtz-terms via Non-Idempotent Intersection Types.
p.
1.
Avanzini, Martin
Dal Lago, Ugo
and
Ghyselen, Alexis
2019.
Type-Based Complexity Analysis of Probabilistic Functional Programs.
p.
1.
Dal Lago, Ugo
de Visme, Marc
Mazza, Damiano
and
Yoshimizu, Akira
2019.
Intersection types and runtime errors in the pi-calculus.
Proceedings of the ACM on Programming Languages,
Vol. 3,
Issue. POPL,
p.
1.
ACCATTOLI, BENIAMINO
GRAHAM-LENGRAND, STÉPHANE
and
KESNER, DELIA
2020.
Tight typings and split bounds, fully developed.
Journal of Functional Programming,
Vol. 30,
Issue. ,
Ehrhard, Thomas
2020.
Foundations of Software Science and Computation Structures.
Vol. 12077,
Issue. ,
p.
198.
Kesner, Delia
and
Vial, Pierre
2020.
Consuming and Persistent Types for Classical Logic.
p.
619.
Barbarossa, Davide
and
Manzonetto, Giulio
2020.
Taylor subsumes Scott, Berry, Kahn and Plotkin.
Proceedings of the ACM on Programming Languages,
Vol. 4,
Issue. POPL,
p.
1.
Bucciarelli, Antonio
Kesner, Delia
Ríos, Alejandro
and
Viso, Andrés
2020.
Functional and Logic Programming.
Vol. 12073,
Issue. ,
p.
13.
Accattoli, Beniamino
Lago, Ugo Dal
and
Vanoni, Gabriele
2021.
The Space of Interaction.
p.
1.
Accattoli, Beniamino
Dal Lago, Ugo
and
Vanoni, Gabriele
2021.
The (In)Efficiency of interaction.
Proceedings of the ACM on Programming Languages,
Vol. 5,
Issue. POPL,
p.
1.
de'Liguoro, Ugo
and
Treglia, Riccardo
2021.
From Semantics to Types: the Case of the Imperative lambda-Calculus.
Electronic Proceedings in Theoretical Computer Science,
Vol. 351,
Issue. ,
p.
168.
Dal Lago, Ugo
Faggian, Claudia
and
Rocca, Simona Ronchi Della
2021.
Intersection types and (positive) almost-sure termination.
Proceedings of the ACM on Programming Languages,
Vol. 5,
Issue. POPL,
p.
1.
Accattoli, Beniamino
Condoluci, Andrea
and
Coen, Claudio Sacerdoti
2021.
Strong Call-by-Value is Reasonable, Implosively.
p.
1.
de'Liguoro, Ugo
and
Treglia, Riccardo
2021.
Intersection types for a λ-calculus with global store.
p.
1.
Accattoli, Beniamino
and
Guerrieri, Giulio
2022.
The theory of call-by-value solvability.
Proceedings of the ACM on Programming Languages,
Vol. 6,
Issue. ICFP,
p.
855.
Wang, Rongxia
He, Fen
and
Gan, Baiqiang
2022.
Anti-Collision Warning Algorithm of Vehicle Intersection Based on V2X.
p.
24.
Ghilezan, Silvia
and
Kašterović, Simona
2022.
Semantics for Combinatory Logic With Intersection Types.
Frontiers in Computer Science,
Vol. 4,
Issue. ,