Dependently-typed data-centric programming
Final thesis for the Bachelor of Computer Science course at the Insitute of Mathematics and Statistics of the University of São Paulo (IME-USP).
- Student: Eduardo Sandalo Porto <eduardo@sandalo.dev>
- Supervisor: Dr. Ana Cristina Vieira de Melo.