Ming-Ho Yee
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2016–2023
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | ECOOP | Do Machine Learning Models Produce TypeScript Types That Type Check? | Ming-Ho Yee, Arjun Guha |
| 2019 | DLS | R melts brains: an IR for first-class environments and lazy effectful arguments. | Olivier Flckiger, Guido Chari, Jan Jecmen, Ming-Ho Yee, Jakob Hain, Jan Vitek |
| 2016 | PLDI | From Datalog to flix: a declarative language for fixed points on lattices. | Magnus Madsen, Ming-Ho Yee, Ondrej Lhotk |