Personal information

No personal information available

Activities

Employment (2)

Magrathea Labs: Joinville, Santa Catarina, BR

2020-03-03 to 2021-12-17 | Developer
Employment
Source: Self-asserted source
Rafael Castro Gonçalves Silva

Treasy: Joinville, Santa Catarina, BR

2019-09-01 to 2019-11-15 | Developer
Employment
Source: Self-asserted source
Rafael Castro Gonçalves Silva

Education and qualifications (2)

Universidade do Estado de Santa Catarina: Joinville, Santa Catarina, BR

2017-09-01 to 2019-08-22 | Masters (Computer Science)
Education
Source: Self-asserted source
Rafael Castro Gonçalves Silva

Universidade do Estado de Santa Catarina: Joinville, Santa Catarina, BR

2012-06-01 to 2017-08-18 | Bachelor (Computer Science)
Education
Source: Self-asserted source
Rafael Castro Gonçalves Silva

Works (2)

Monadic W in Coq

Proceedings of the 24th Brazilian Symposium on Context-Oriented Programming and Advanced Modularity
2020-10-19 | Conference paper
Source: Self-asserted source
Rafael Castro Gonçalves Silva

Haskell Type System Analysis

Revista de Informática Teórica e Aplicada
2018-09-12 | Journal article
Part of ISSN: 2175-2745
Part of ISSN: 0103-4308
Source: Self-asserted source
Rafael Castro Gonçalves Silva