Alberto Pardo

MaRDI QIDQ1929356zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Agda formalization of a security-preserving translation from flow-sensitive to flow-insensitive security types	2021-02-22	Paper
Approximation of nested fixpoints -- a coalgebraic view of parametric dataypes	2017-07-11	Paper
Multiple Intermediate Structure Deforestation by Shortcut Fusion Programming Languages	2014-04-16	Paper
Shortcut fusion rules for the derivation of circular and higher-order programs Higher-Order and Symbolic Computation	2013-01-08	Paper
On some fast well-balanced first order solvers for nonconservative systems Mathematics of Computation	2010-08-30	Paper
scientific article; zbMATH DE number 5598380 (Why is no real title available?)	2009-08-26	Paper
Well-Balanced High-Order MUSTA Schemes for Non-Conservative Hyperbolic Systems Numerical Mathematics and Advanced Applications	2009-01-12	Paper
Advanced Functional Programming Lecture Notes in Computer Science	2006-10-25	Paper
scientific article; zbMATH DE number 2100544 (Why is no real title available?)	2004-09-14	Paper
Recursion schemes from comonads Nordic Journal of Computing	2002-01-24	Paper
scientific article; zbMATH DE number 1231629 (Why is no real title available?)	1999-01-06	Paper

Research outcomes over time

This page was built for person: Alberto Pardo