Synthesis of ML programs in the system Coq
scientific article; zbMATH DE number 566068
scientific article