Alberto Pardo

Structure verification of deep neural networks at compilation time using dependent types

Marcos Viera, Leonardo Piñeyro, Alberto Pardo, 2019, SBLP 2019.

Java Stream Fusion: Adapting FP mechanisms for an OO setting

João Saraiva, Alberto Pardo, Francisco Ribeiro, 2019, SBLP 2019.

LATIN 2014: Theoretical Informatics

Alfredo Viola, Alberto Pardo, A. Viola, 2014, Lecture Notes in Computer Science.

A Gradual Type System for Elixir

Alberto Pardo, Marcos Viera, Mauricio Cassola, 2020 .

Shortcut fusion rules for the derivation of circular and higher-order programs

João Paulo Fernandes, Alberto Pardo, João Saraiva, 2011, High. Order Symb. Comput..