don syme and f* used what programming language?
(AND computer.programming_language (AND (JOIN computer.programming_language.influenced m.0ql079r) (JOIN computer.programming_language.language_designers m.09gq4hs)))