Léo Valais

According to our database, Léo Valais authored at least 1 paper in 2019.

Collaborative distances:

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

2019

Implementing Baker's SUBTYPEP Decision Procedure.

Léo Valais, Jim E. Newton, Didier Verna

Proceedings of the 12th European Lisp Symposium (ELS 2019), 2019