C - T - ABS abstractive algorithm transforms � � - expression to SKI - expression, which is the theoretical foundation of functional programming language implementation.ABSTRACT,C-T-ABS是把λ表达式转换成SKI表达式的抽象算法, 是函数式语言实现的理论基础...
A series of technical foul-ups delayed the launch of the new product.一系列技术问题延误了新产品的上市。Editorially, they never really became a unique distinct product.就立场和观点来说，它们从未真正做到树立起自己独具一格的视角。As the domestic market becomes saturated...
这条河流入河口湾.The stream debouches into the estuary.沉积相主要有河床相 、 河漫滩相、浅海相 、 河口湾相、湖沼相 、 滨海相和陆相坡积洪积风化红土等7种类型,它们的分布与古河谷的形成演化和海平面的变化密切相关.Sedimentary facies include river bed , alluvial flat, neritic , river mouth and limnetic, lit...
她在她的举止中具体表现出其节操.She embodies her principles in her behavior.这些行为表明他是极有节操的人.These actions stamped him as a man of high principles.松树是节操的象征.The pine is a badge of constancy....
他沿着圣安托万街轻快地走去。He moved at a brisk pace down the rue St Antoine.圣安托万就像这样一杯半盏地直喝到中午.Thus , Saint Antoine in this vinous feature of his, until midday.欧内斯特.德伐日, 圣安托万区酒店主. ”Ernest Defarge, wine - vendor of St. Antoine. "...
Being a finishing blow, it inflicts tremendous damage against the enemy.作为最后的一击, 它会使敌人承受到惊人的打击.They were outplayed by the Colombians' slick passing and decisive finishing.哥伦比亚队凭借流畅的传球和终场前的制胜进球击败了他们。At present , Di -...