Alberto Pardo

Available identifiers

zbMath Open pardo.albertoMaRDI QIDQ1929356

List of research outcomes

Publication	Date of Publication	Type
Agda formalization of a security-preserving translation from flow-sensitive to flow-insensitive security types	2021-02-22	Paper
https://portal.mardi4nfdi.de/entity/Q5275352	2017-07-11	Paper
Multiple Intermediate Structure Deforestation by Shortcut Fusion	2014-04-16	Paper
Shortcut fusion rules for the derivation of circular and higher-order programs	2013-01-08	Paper
On some fast well-balanced first order solvers for nonconservative systems	2010-08-30	Paper
https://portal.mardi4nfdi.de/entity/Q3395336	2009-08-26	Paper
Well-Balanced High-Order MUSTA Schemes for Non-Conservative Hyperbolic Systems	2009-01-12	Paper
Advanced Functional Programming	2006-10-25	Paper
https://portal.mardi4nfdi.de/entity/Q4816998	2004-09-14	Paper
Recursion schemes from comonads	2002-01-24	Paper
https://portal.mardi4nfdi.de/entity/Q4222952	1999-01-06	Paper

Research outcomes over time

This page was built for person: Alberto Pardo