M. Bruni

activity

20052026

most citedCoupling of Radial and Axial non-Radial Oscillations of Compact Stars: Gravitational Waves from first-order Differential Rotation

55 citations · 65 across the 4 of their papers we have counts for

collaborators

Showing 2026 · cs.PLShow all

1 paper · 2 filters

cs.PL2026

Typechecking without Minimum Types: Finite Bases and Backward Checking for $F_{<:}^{⊤}$

Mingkun Xiao, Yixuan Sun

System $F_{<:}^{⊤}$ has decidable subtyping but lacks minimum types. We prove that typechecking is decidable for arbitrary explicitly annotated terms with unrestricted subsumpti…

Typechecking without Minimum Types: Finite Bases and Backward Checking for F<:⊤​

Typechecking without Minimum Types: Finite Bases and Backward Checking for $F_{<:}^{⊤}$