Felipe Bañados

According to our database1, Felipe Bañados authored at least 7 papers between 2012 and 2025.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

2012
2014
2016
2018
2020
2022
2024
0
1
2
3
1
1
1
2
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2025
Dynamic Program Slices Change How Developers Diagnose Gradual Run-Time Type Errors.
CoRR, February, 2025

2021
Abstracting gradual typing moving forward: precise and space-efficient.
Proc. ACM Program. Lang., 2021

2016
Gradual type-and-effect systems.
J. Funct. Program., 2016

Side effects take the blame.
Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, Amsterdam, The Netherlands, October 31, 2016

2014
A theory of gradual effect systems.
Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, 2014

2012
Execution profiling blueprints.
Softw. Pract. Exp., 2012

Spy: A flexible code profiling framework.
Comput. Lang. Syst. Struct., 2012


  Loading...