Felipe Bañados

According to our database, Felipe Bañados authored at least 6 papers between 2012 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2021

Abstracting gradual typing moving forward: precise and space-efficient.

Felipe Bañados Schwerter, Alison M. Clark, Khurram A. Jafery, Ronald Garcia

Proc. ACM Program. Lang., 2021

2016

Gradual type-and-effect systems.

Felipe Bañados Schwerter, Ronald Garcia, Éric Tanter

J. Funct. Program., 2016

Side effects take the blame.

Felipe Bañados Schwerter

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.

Felipe Bañados Schwerter, Ronald Garcia, Éric Tanter

Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, 2014

2012

Execution profiling blueprints.

Alexandre Bergel, Felipe Bañados, Romain Robbes, Walter Binder

Softw. Pract. Exp., 2012

Spy: A flexible code profiling framework.

Alexandre Bergel, Felipe Bañados, Romain Robbes, David Röthlisberger

Comput. Lang. Syst. Struct., 2012