Travelled to:
1 × USA
Collaborated with:
Y.Rouzaud
Talks about:
checker (1) subtyp (1) prolog (1) integr (1) type (1) mode (1)
Person: Lan Nguyen-Phuong
DBLP: Nguyen-Phuong:Lan
Contributed to:
Wrote 1 papers:
- JICSLP-1992-RouzaudN #prolog #type system
- Integrating Modes and Subtypes into a Prolog Type-Checker (YR, LNP), pp. 85–97.