The following pages link to Hyeonseung Im (Q454942):
Displayed 9 items.
- Group skyline computation (Q454943) (← links)
- A modal logic internalizing normal proofs (Q764264) (← links)
- Efficient enumeration of regular expressions for faster regular expression synthesis (Q2117664) (← links)
- Backward type inference for XML queries (Q2182320) (← links)
- Optimizing skyline queries over incomplete data (Q2279716) (← links)
- A calculus for hardware description (Q3021415) (← links)
- Functional netlists (Q5178773) (← links)
- Type-safe higher-order channels with channel locality (Q5302647) (← links)
- Contractive Signatures with Recursive Types, Type Parameters, and Abstract Types (Q5327442) (← links)