3 citations · 4 across the 7 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2021
On non-structural subtype entailment
Aleksy Schubert
We prove that the non-structural subtype entailment problem for finite and regular type expressions is in PSPACE. In this way we close a decidability and complexity gap pending sin…
cs.PL2012
Lucretia - a type system for objects in languages with reflection
Viviana Bono, Marcin Benke, Aleksy Schubert
Object-oriented scripting languages such as JavaScript or Python gain in popularity due to their flexibility. Still, the growing code bases written in the languages call for method…