Search in: Word
Vietnamese keyboard: Off
Virtual keyboard: Show
Computing (FOLDOC) dictionary
EML
Jump to user comments
Extended ML. A language for formally specifying SML
programs.