Felipe Bañados Schwerter

Publication Activity (10 Years)

Years Active: 2014-2021
Publications (10 Years): 4

Top Topics

Space Efficient

Natural Language

Garbage Collection

Top Venues

Proc. ACM Program. Lang.

J. Funct. Program.

Publications

Felipe Bañados Schwerter, Alison M. Clark, Khurram A. Jafery, Ronald Garcia
Abstracting gradual typing moving forward: precise and space-efficient. Proc. ACM Program. Lang. 5 (POPL) (2021)
Felipe Bañados Schwerter, Alison M. Clark, Khurram A. Jafery, Ronald Garcia
Abstracting Gradual Typing Moving Forward: Precise and Space-Efficient. CoRR (2020)
Felipe Bañados Schwerter, Ronald Garcia, Éric Tanter
Gradual type-and-effect systems. J. Funct. Program. 26 (2016)
Felipe Bañados Schwerter
Side effects take the blame. SLE (2016)
Felipe Bañados Schwerter, Ronald Garcia, Éric Tanter
A theory of gradual effect systems. ICFP (2014)