Haoxuan Yin

Identifiers

• name variant Haoxuan Yin 0.60 · backfill

Papers (1)

1. Contextual MetaML: Syntax and Full Abstraction cs.PL · 2026 · author #1

Mentions

• 2602.03033 #1 · arxiv_oai · confidence 0.70 Haoxuan Yin

Frequent Coauthors

• Andrzej S. Murawski 1 shared papers
• C.-H. Luke Ong 1 shared papers