Mário Florido

Coordinating Board (FCUP)

declarative programming

Biography

Member of the LIACC coordinating board and researcher at the Faculty of Sciences (FCUP), working on declarative programming and type systems.