by Xue, Mingqi, Oliveira, Bruno C.d.S.
Published in Science of computer programming (01.08.2021)

by Zhang, Weixin, Oliveira, Bruno C.d.S.
Published in Science of computer programming (01.07.2020)

by Huang, Xuejing, Oliveira, Bruno C. d. S.
Published in Proceedings of ACM on programming languages (01.08.2021)

by Cui, Chen, Jiang, Shengyi, Oliveira, Bruno C. d. S.
Published in Proceedings of ACM on programming languages (16.10.2023)

by Zhou, Litao, Zhou, Yaoda, Oliveira, Bruno C. d. S.
Published in Proceedings of ACM on programming languages (09.01.2023)

by Rioux, Nick, Huang, Xuejing, Oliveira, Bruno C. d. S., Zdancewic, Steve
Published in Proceedings of ACM on programming languages (09.01.2023)

by SCHRIJVERS, TOM, OLIVEIRA, BRUNO C.D.S., WADLER, PHILIP, MARNTIROSIAN, KOAR
Published in Journal of functional programming (2019)

by Xu, Han, Huang, Xuejing, Oliveira, Bruno C. d. S.
Published in Proceedings of ACM on programming languages (09.01.2023)

by HUANG, XUEJING, ZHAO, JINXU, OLIVEIRA, BRUNO C. D. S.
Published in Journal of functional programming (01.01.2021)

by Sun, Yaozhu, Dhandhania, Utkarsh, Oliveira, Bruno C. d. S.
Published in Proceedings of ACM on programming languages (31.10.2022)

by YANG, YANPENG, OLIVEIRA, BRUNO C. D. S.
Published in Journal of functional programming (2019)

by Marntirosian, Koar, Schrijvers, Tom, Oliveira, Bruno C. d. S., Karachalias, Georgios
Published in Proceedings of ACM on programming languages (13.11.2020)

by Zhou, Yaoda, Oliveira, Bruno C. d. S., Zhao, Jinxu
Published in Proceedings of ACM on programming languages (13.11.2020)

by Zhao, Jinxu, Oliveira, Bruno C. d. S., Schrijvers, Tom
Published in Proceedings of ACM on programming languages (01.08.2019)

by Xie, Ningning, Eisenberg, Richard A., Oliveira, Bruno C. d. S.
Published in Proceedings of ACM on programming languages (01.01.2020)

by Yang, Yanpeng, Oliveira, Bruno C. d. S.
Published in Proceedings of ACM on programming languages (01.10.2017)

by Bohme, Marcel, Oliveira, Bruno C. d. S., Roychoudhury, Abhik
Published in 2013 35th International Conference on Software Engineering (ICSE) (01.05.2013)

by Oliveira, Bruno C. d. S., Cook, William R.
Published in ECOOP 2012 – Object-Oriented Programming (11.06.2012)

by HINZE, Half, LÖH, Andres, OLIVEIRA, Bruno C. D. S
Published in Lecture notes in computer science (2006)

by GIBBONS, JEREMY, OLIVEIRA, BRUNO C. d. S.
Published in Journal of functional programming (01.07.2009)