Lan Nguyen-Phuong

According to our database1, Lan Nguyen-Phuong authored at least 3 papers between 1992 and 1994.

Collaborative distances:
  • Dijkstra number2 of six.
  • Erdős number3 of six.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1994
Déclarations de Types en Prolog III.
Proceedings of the JFPLC'94, 1994

1992
Un système déclaratif de types pour PROLOG.
PhD thesis, 1992

Integrating Modes and Subtypes into a Prolog Type-Checker.
Proceedings of the Logic Programming, 1992


  Loading...