jacomecunha

Currently, I'm an Associate Professor at the Faculty of Engineering at University of Porto and an integrated member of the research center HASLab/INESC TEC.

University of Porto & HASLab / INESC TECPortugal

Pinned Repositories

Inforum2023
Repository for the Inforum 2023 website
Language:TypeScript0 2 00
2022
Language:HTML0 1 00
Featherweight-Java
An attempt to implement the typing rules of Featherweight Java using Haskell.
Language:Haskell0 1 00
glasscon
0 0 00
hapidevopsworkshop
0 2 00
research-group-web
a template for research group sites
Language:HTML0 1 00

jacomecunha's Repositories

jacomecunha/Featherweight-Java
An attempt to implement the typing rules of Featherweight Java using Haskell.
Language:Haskell0 1 00
jacomecunha/glasscon
0 0 00
jacomecunha/hapidevopsworkshop
0 2 00
jacomecunha/research-group-web
a template for research group sites
Language:HTML0 1 00