T. Waters

activity

20022026

most citedEvolution of the L1 halo family in the radial solar sail CRTBP

35 citations · 111 across the 11 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_{<:}^{⊤}$