LindA: Uma Linguagem de Autoria Automática para Hipertexto. - Judith Kelner; Ana Lúcia Cavalcante; Alberto Pardo (SBES, 1989)

O Uso das Semânticas Indutiva e Denotacional na Tradução Fonte-a-Fonte de Linguagens de Programação. - Alberto Pardo; Silvio Romero Lemos de Meira (SBES, 1990)

Monadic Corecursion - Definition, Fusion Laws, and Applications. - Alberto Pardo (CMCS, 1998)

Recursion Schemes from Comonads. - Tarmo Uustalu; Varmo Vene; Alberto Pardo (Nord. J. Comput., 2001)

Fusion of recursive programs with computational effects. - Alberto Pardo (Theor. Comput. Sci., 2001)

A calculational approach to recursive programs with effects / von Albert Pardo. - Alberto Pardo (2001)

Generic Accumulations. - Alberto Pardo (Generic Programming, 2002)

Combining Datatypes and Effects. - Alberto Pardo (Advanced Functional Programming, 2004)

A multi-stage language with intensional analysis. - Marcos Viera; Alberto Pardo (GPCE, 2006)

Program Fusion with Paramorphisms. - Facundo Domínguez; Alberto Pardo (MSFP@MPC, 2006)

A shortcut fusion rule for circular program calculation. - João Paulo Fernandes; Alberto Pardo; João Saraiva (Haskell, 2007)

Shortcut Fusion of Monadic Programs. - Cecilia Manzino; Alberto Pardo (J. Univers. Comput. Sci., 2008)

Shortcut fusion rules for the derivation of circular and higher-order monadic programs. - Alberto Pardo; João Paulo Fernandes; João Saraiva (PEPM, 2009)

On some fast well-balanced first order solvers for nonconservative systems. - Manuel J. Castro; Alberto Pardo; Carlos Parés; Eleuterio F. Toro (Math. Comput., 2010)

Exploiting algebra/coalgebra duality for program fusion extensions. - Facundo Domínguez; Alberto Pardo (LDTA, 2011)

Applicative Shortcut Fusion. - Germán Andrés Delbianco; Mauro Jaskelioff; Alberto Pardo (Trends in Functional Programming, 2011)

Shortcut fusion rules for the derivation of circular and higher-order programs. - Alberto Pardo; João Paulo Fernandes; João Saraiva (High. Order Symb. Comput., 2011)

Towards a functional run-time for dense NLA domain. - Mauro Blanco; Pablo Perdomo; Pablo Ezzatti; Alberto Pardo; Marcos Viera (FHPC@ICFP, 2013)

Just do it while compiling!: fast extensible records in haskell. - Bruno Martinez; Marcos Viera; Alberto Pardo (PEPM, 2013)

Formal semantics and expressiveness of a web service composition language. - Marcelo Guerra Hahn; Regina Motz; Alberto Pardo; Martin A. Musicante (SAC, 2013)

A shortcut fusion approach to accumulations. - Mónica Martínez; Alberto Pardo (Sci. Comput. Program., 2013)

A Security Types Preserving Compiler in Haskell. - Cecilia Manzino; Alberto Pardo (SBLP, 2014)

An abstract machine for integrating heterogeneous web applications. - Márcio A. Macêdo; Daniel A. S. Carvalho; Martin A. Musicante; Alberto Pardo; Umberto Souza da Costa (AICCSA, 2015)

Approximation of Nested Fixpoints - A Coalgebraic View of Parametric Dataypes. - Alexander Kurz 001; Alberto Pardo; Daniela Petrisan; Paula Severi; Fer-Jan de Vries (CALCO, 2015)

Watch Out for that Tree! A Tutorial on Shortcut Deforestation. - João Paulo Fernandes; Jácome Cunha; João Saraiva; Alberto Pardo (CEFP, 2015)

Painless Parallelism on Heterogeneous Hardware Leveraging the Functional Paradigm. - Mauro Blanco; Pablo Perdomo; Pablo Ezzatti; Alberto Pardo; Marcos Viera (SBAC-PAD (Workshops), 2015)

SEFM: software engineering and formal methods. - Gilles Barthe; Alberto Pardo; Gerardo Schneider (Softw. Syst. Model., 2015)

Memoized Zipper-Based Attribute Grammars. - João Paulo Fernandes; Pedro Martins 001; Alberto Pardo; João Saraiva; Marcos Viera (SBLP, 2016)

Savana: A Global Information Extraction and Terminology Expansion Framework in the Medical Domain. - Luis Espinosa Anke; Jorge Tello; Alberto Pardo; Ignacio Hernández Medrano; Alberto Ureña; Ignacio Salcedo; Horacio Saggion (Proces. del Leng. Natural, 2016)

Multiple intermediate structure deforestation by shortcut fusion. - Alberto Pardo; João Paulo Fernandes; João Saraiva (Sci. Comput. Program., 2016)

Automating systematic mappings, adding quality to quantity: poster. - Regina Motz; Genoveva Vargas-Solar; Umberto Souza da Costa; Javier-Alfonso Espinosa-Oviedo; Martin A. Musicante; José-Luis Zechinelli-Martini; Alberto Pardo (ICSE (Companion Volume), 2017)

Extensible records in Idris. - Gonzalo Waszczuk; Alberto Pardo; Marcos Viera (SBLP, 2017)

A Staged Embedding of Attribute Grammars in Haskell. - Marcos Viera; Florent Balestrieri; Alberto Pardo (IFL, 2018)

An Internalist Approach to Correct-by-Construction Compilers. - Alberto Pardo; Emmanuel Gunther; Miguel Pagano; Marcos Viera (PPDP, 2018)

Attribute grammars fly first-class... safer!: dealing with DSL errors in type-level programming. - Juan García-Garland; Alberto Pardo; Marcos Viera (IFL, 2019)

Structure verification of deep neural networks at compilation time using dependent types. - Leonardo Piñeyro; Alberto Pardo; Marcos Viera (SBLP, 2019)

Java Stream Fusion: Adapting FP mechanisms for an OO setting. - Francisco Ribeiro; João Saraiva; Alberto Pardo (SBLP, 2019)

Memoized zipper-based attribute grammars and their higher order extension. - João Paulo Fernandes; Pedro Martins 001; Alberto Pardo; João Saraiva; Marcos Viera (Sci. Comput. Program., 2019)

Agda Formalization of a Security-preserving Translation from Flow-sensitive to Flow-insensitive Security Types. - Cecilia Manzino; Alberto Pardo (LSFA, 2020)

Structure verification of deep neural networks at compilation time. - Leonardo Piñeyro; Alberto Pardo; Marcos Viera (J. Comput. Lang., 2021)

A gradual type system for Elixir. - Mauricio Cassola; Agustín Talagorria; Alberto Pardo; Marcos Viera (J. Comput. Lang., 2022)

Tabulation with Zippers. - Marcos Viera; Alberto Pardo; João Saraiva (FLOPS, 2024)

Compiling Haskell for Energy Efficiency: Empirical Analysis of Individual Transformations. - Maja Hanne Kirkeby; Bernardo Santos 003; João Paulo Fernandes; Alberto Pardo (SAC, 2024)