语言选择:
免费网上英汉字典|3Dict

eml

资料来源 : Free On-Line Dictionary of Computing

EML
     
        Extended ML.  A language for formally specifying {SML}
        programs.
     
        ["Formal Program Development in Extended ML for the Working
        Programmer", D.  Sannella, Proc 3rd BCS/FACS Workshop on
        Refinement", Springer 1990].
依字母排序 : A B C D E F G H I J K L M N O P Q R S T U V W X Y Z