网站首页  词典首页

请输入您要查询的英文单词:

 

单词 binder
释义
binder
noun[C]
uk
/ˈbaɪn.dər/
us
/ˈbaɪn.dɚ/

bindernoun[C](COVER)

a hardcoverin whichpaperdocumentsormagazinesarestored
活页夹
aleather/plasticbinder皮质/塑料活页夹
See also
ring binder

bindernoun[C](JOB)

abookbinder
装订工

bindernoun[C](MACHINE)

amachineused onfarmstofastencropsintosheaves(=bundles)after they have beencut
装订机

bindernoun[C](SUBSTANCE)

asubstanceaddedto amixtureto make all thepartssticktogether
粘结剂;增粘剂

Examplesofbinder

binder
Further, assume that the simplification operation is to be applied to two terms t and r whose head normal forms have identical binders.
From theCambridge English Corpus
The explicit binders are retained for compatibility with legacy code, and because they are conceptually easier for novice users to understand.
From theCambridge English Corpus
The explicit binders have an additional capability: if one binds all of a function's arguments, a zero-argument functoid (a thunk) is returned.
From theCambridge English Corpus
The key idea is to represent variables and binders of object languages with variables and binders of a metalanguage based on some type-theoretic -calculus.
From theCambridge English Corpus
Moreover, we prove that suitable structural induction and recursion principles over terms with binders and even term contexts are validated by this model.
From theCambridge English Corpus
One source of information is binder's volumes (books comprised of several editions bound together in sets of partbooks according to voice type).
From theCambridge English Corpus
Object variables and binders are implemented by variables and binders in the host language.
From theCambridge English Corpus
We next give a restriction on variable binders.
From theCambridge English Corpus
Marks are simply string constants, not binders subject to alpha equivalence, as they themselves need to be dynamically rebound.
From theCambridge English Corpus
Categorical models of languages with binders and local names have been around for a while.
From theCambridge English Corpus
The notions of free and bound variables of g -graphs take into account the three binders of the calculus: abstraction, recursion and match.
From theCambridge English Corpus
First, we have to pay attention that the free variables of one module are not captured by the binders of the other (side condition).
From theCambridge English Corpus
In order to supply sufficiently many fresh names, one has therefore to compute the maximal number of binders along the paths in the process tree.
From theCambridge English Corpus
Table 3 presents the functions used to compute the free names of a process, as well as its depth of binders.
From theCambridge English Corpus
Figure 1 shows the hierarchy of features related to variables and binders.
From theCambridge English Corpus
These examples are from corpora and from sources on the web. Any opinions in the examples do not represent the opinion of the Cambridge Dictionary editors or of Cambridge University Press or its licensors.
#https://dictionary.cambridge.org//dictionary/english/binder##
随便看

 

英汉词典包含213609条英汉翻译词条,涵盖了常用英语单词及词组短语的翻译及用法,是英语学习的必备工具。

 

Copyright © 1999-2024 qbania.com All Rights Reserved
更新时间:2024/12/27 23:40:35