Rodrigo Geraldo Ribeiro
Rodrigo Geraldo Ribeiro
Universidade Federal de Ouro Preto
E-mail confirmado em ufop.edu.br - Página inicial
Título
Citado por
Citado por
Ano
Inference of static semantics for incomplete C programs
LTC Melo, RG Ribeiro, MR de Araújo, FMQ Pereira
Proceedings of the ACM on Programming Languages 2 (POPL), 1-28, 2017
72017
Type inference for GADTs and anti-unification
A Gelain, C Vasconcellos, C Camarão, R Ribeiro
Brazilian Symposium on Programming Languages, 16-30, 2015
52015
A Solution to Haskell’s Multi-Parameter Type Class Dilemma
C Camarao, R Ribeiro, L Figueiredo, C Vasconcellos
Proc. of the 13th Brazilian Symposium on Programming Languages (SBLP’2009), 5-18, 2009
42009
Optional Type Classes for Haskell
R Ribeiro, C Camarao, L Figueiredo, C Vasconcellos
Brazilian Symposium on Programming Languages, 125-139, 2016
32016
Certified derivative-based parsing of regular expressions
R Lopes, R Ribeiro, C Camarão
Brazilian Symposium on Programming Languages, 95-109, 2016
32016
A mechanized textbook proof of a type unification algorithm
R Ribeiro, C Camarão
Brazilian Symposium on Formal Methods, 127-141, 2015
32015
Terminating constraint set satisfiability and simplification algorithms for context-dependent overloading
R Ribeiro, C Camarão, L Figueiredo
Journal of the Brazilian Computer Society 19 (4), 423-432, 2013
32013
Ambiguity and context-dependent overloading
R Ribeiro, C Camarão
Journal of the Brazilian Computer Society 19 (3), 313-324, 2013
32013
Certified Bit-Coded Regular Expression Parsing
R Ribeiro, AD Bois
Proceedings of the 21st Brazilian Symposium on Programming Languages, 1-8, 2017
22017
Ambiguity and constrained polymorphism
C Camarao, L Figueiredo, R Ribeiro
Science of Computer Programming 124, 1-19, 2016
22016
HMusic: A domain specific language for music programming and live coding.
AR Du Bois, RG Ribeiro
NIME, 381-386, 2019
12019
A Type-Directed Algorithm to Generate Well-Typed Featherweight Java Programs
SS Feitosa, RG Ribeiro, AR Du Bois
Brazilian Symposium on Formal Methods, 39-55, 2018
12018
Type inference for GADTs, outsidein and anti-unification
G Moreira, C Vasconcellos, R Ribeiro
Proceedings of the XXII Brazilian Symposium on Programming Languages, 51-58, 2018
12018
Property-based testing for lambda expressions semantics in featherweight Java
S da Silva Feitosa, RG Ribeiro, AR Du Bois
Proceedings of the XXII Brazilian Symposium on Programming Languages, 43-50, 2018
12018
Iteradores, Templates e Consultas na Análise e Manipulaç ao de Programas
AA Oliveira, RG Ribeiro, DP Pinheiro, TH Braga, MA Maia, RS Bigonha
12005
A Mechanized Proof of a Textbook Type Unification Algorithm
AR Du Bois, R Ribeiro, M Amaro
Revista de Informática Teórica e Aplicada 27 (3), 13-24, 2020
2020
A type-directed algorithm to generate random well-typed Java 8 programs
S Feitosa, R Ribeiro, A Du Bois
Science of Computer Programming, 102494, 2020
2020
Combining Effects in a Music Programming Language based on Patterns
A Du Bois, R Ribeiro
Anais do XVII Simpósio Brasileiro de Computação Musical, 106-113, 2019
2019
An Inherently-Typed Formalization for Featherweight Java
SS Feitosa, AS Mena, RG Ribeiro, ARD Bois
Proceedings of the XXIII Brazilian Symposium on Programming Languages, 11-18, 2019
2019
Towards Typed Semantics for Parsing Expression Grammars
R Ribeiro, LVS Reis, S Feitosa, EM Cardoso
Proceedings of the XXIII Brazilian Symposium on Programming Languages, 70-77, 2019
2019
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20