Andrés Viso

18 papers B 3Misc 1Journal 11Unranked 3
YearRankTypeTitle / Venue / Authors
2024 J jnl
A Strong Bisimulation for a Classical Term Calculus.
Log. Methods Comput. Sci.
Eduardo Bonelli, Delia Kesner, Andrés Viso
2023 J jnl
The bang calculus revisited.
Inf. Comput.
Antonio Bucciarelli, Delia Kesner, Alejandro Ríos, Andrés Viso
2022 B conf
Encoding Tight Typing in a Unified Framework.
CSL
Delia Kesner, Andrés Viso
2021 J jnl
A Strong Bisimulation for Control Operators by Means of Multiplicative and Exponential Reduction.
CoRR
Eduardo Bonelli, Delia Kesner, Andrés Viso
2021 J jnl
The Power of Tightness for Call-By-Push-Value.
CoRR
Delia Kesner, Andrés Viso
2020 — conf
Pure Pattern Calculus
LSFA
Alexis Martin, Alejandro Ríos, Andrés Viso
2020 J jnl
Pure Pattern Calculus à la de Bruijn.
CoRR
Alexis Martin, Alejandro Ríos, Andrés Viso
2020 B conf
Strong Bisimulation for Control Operators (Invited Talk).
CSL
Delia Kesner, Eduardo Bonelli, Andrés Viso
2020 Misc conf
The Bang Calculus Revisited.
FLOPS
Antonio Bucciarelli, Delia Kesner, Alejandro Ríos, Andrés Viso
2020 J jnl
The Bang Calculus Revisited.
CoRR
Antonio Bucciarelli, Delia Kesner, Alejandro Ríos, Andrés Viso
2019 J jnl
Strong Bisimulation for Control Operators.
CoRR
Eduardo Bonelli, Delia Kesner, Andrés Viso
2019 J jnl
Typed path polymorphism.
Theor. Comput. Sci.
Mauricio Ayala-Rincón, Eduardo Bonelli, Juan Edi, Andrés Viso
2018 B conf
Call-by-Need, Neededness and All That.
FoSSaCS
Delia Kesner, Alejandro Ríos, Andrés Viso
2018 J jnl
Call-by-need, neededness and all that.
CoRR
Delia Kesner, Alejandro Ríos, Andrés Viso
2017 J jnl
Efficient Type Checking for Path Polymorphism.
CoRR
Juan Edi, Andrés Viso, Eduardo Bonelli
2016 J jnl
Type Soundness for Path Polymorphism.
CoRR
Andrés Viso, Eduardo Bonelli, Mauricio Ayala-Rincón
2015 — conf
Efficient Type Checking for Path Polymorphism.
TYPES
Juan Edi, Andrés Viso, Eduardo Bonelli
2015 — conf
Type Soundness for Path Polymorphism.
LSFA
Andrés Viso, Eduardo Bonelli, Mauricio Ayala-Rincón