Pierre Manoury

According to our database, Pierre Manoury authored at least 1 paper in 2003.

Collaborative distances:

• Dijkstra number of seven.
• Erdős number of six.

2003

Un système X Raisonner formellement sur les programmes ML.

Sylvain Baro, Pierre Manoury

Proceedings of the Journées francophones des langages applicatifs (JFLA'03), 2003