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.












