Travelled to:
1 × France
1 × United Kingdom
Collaborated with:
P.Mishra W.Chen N.M.Mattos B.T.Tran J.Chow J.Grandbois M.Jou Y.Wang S.Deßloch B.G.Lindsay L.DeMichel S.Rielau D.Mannhaupt
Talks about:
type (3) subtyp (2) infer (2) substitut (1) polymorph (1) implement (1) structur (1) practic (1) inherit (1) theori (1)
Person: You-Chin Fuh
DBLP: Fuh:You=Chin
Contributed to:
Wrote 4 papers:
- VLDB-1999-ChenCFGJMTW
- High Level Indexing of User-Defined Types (WC, JHC, YCF, JG, MJ, NMM, BTT, YW), pp. 554–564.
- VLDB-1999-FuhDCMTLDRM #implementation #inheritance #sql
- Implementation of SQL3 Structured Types with Inheritance and Value Substitutability (YCF, SD, WC, NMM, BTT, BGL, LD, SR, DM), pp. 565–574.
- ESOP-1988-FuhM #type inference #type system
- Type Inference with Subtypes (YCF, PM), pp. 94–114.
- CCIPL-1989-FuhM #polymorphism #type inference #type system
- Polymorphic Subtype Inference: Closing the Theory-Practice Gap (YCF, PM), pp. 167–183.