Travelled to:1 × The Netherlands
1 × USA
Collaborated with:M.Kifer
Talks about:logic (4) program (2) polymorph (1) revisit (1) theori (1) orient (1) object (1) order (1) maier (1) first (1)
Person: James Wu
DBLP: Wu:James
Contributed to:
1991
1989Wrote 2 papers:
- LICS-1991-KiferW #first-order #logic programming #morphism #polymorphism
- A First-Order Theory of Types and Polymorphism in Logic Programming (MK, JW), pp. 310–321.
- PODS-1989-KiferW #logic programming #object-oriented
- A Logic for Object-Oriented Logic Programming (Maier’s O-Logic Revisited) (MK, JW), pp. 379–393.