ABC can produce a midi file.

Finale can import a midi and convert it to score.

While importing "generic" midi files often produces a lot of garbage, usually a midi exported from a "scoring program" will import into any other midi capable scoring program as fairly clean score.

John