5 citations · 7 across the 2 of their papers we have counts for
4 papers
Higher-order Context-free Session Types in System F
Diana Costa, Andreia Mordido, Diogo Poças +1
We present an extension of System F with higher-order context-free session types. The mixture of functional types with session types has proven to be a challenge for type equivalen…
The Different Shades of Infinite Session Types
Simon J. Gay, Diogo Poças, Vasco T. Vasconcelos
Many type systems include infinite types. In session type systems, which are the focus of this paper, infinite types are important because they allow the specification of communica…
A New Lower Bound for Deterministic Truthful Scheduling
Yiannis Giannakopoulos, Alexander Hammerl, Diogo Poças
We study the problem of truthfully scheduling tasks to selfish unrelated machines, under the objective of makespan minimization, as was introduced in the seminal work of Ni…
Optimal Pricing For MHR and -Regular Distributions
Yiannis Giannakopoulos, Diogo Poças, Keyu Zhu
We study the performance of anonymous posted-price selling mechanisms for a standard Bayesian auction setting, where bidders have i.i.d. valuations for a single item. We show t…