Pedro Vasconcelos

From MaRDI portal
Person:2398174

Available identifiers

zbMath Open vasconcelos.pedro-bMaRDI QIDQ2398174

List of research outcomes





PublicationDate of PublicationType
Type-based cost analysis for lazy functional languages2017-08-15Paper
Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages2016-04-26Paper
Automatic amortised analysis of dynamic memory allocation for lazy functional programs2014-07-21Paper
Using Intersection Types for Cost-Analysis of Higher-Order Polymorphic Functional Programs2009-03-10Paper
Implementation of Functional Languages2005-08-24Paper

Research outcomes over time

This page was built for person: Pedro Vasconcelos

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2398174&oldid=6822323"
Powered by MediaWiki