PALABRAS DEL INGLÉS RELACIONADAS CON «POLYMORPHIC FUNCTION»
polymorphic function
polymorphic
function
python
each
operation
superclass
subclasses
this
operate
object
boost
possibly
const
qualified
type
reference
argument
types
objects
polymorphism
haskellwiki
belongs
every
list
note
however
that
meaning
pronunciation
translations
proposal
wrapper
wrappers
also
used
lieu
arbitrary
whose
template
parameter
allowing
common
knowledge
dobb
steve
dewhurst
10 LIBROS DEL INGLÉS RELACIONADOS CON «POLYMORPHIC FUNCTION»
Descubre el uso de
polymorphic function en la siguiente selección bibliográfica. Libros relacionados con
polymorphic function y pequeños extractos de los mismos para contextualizar su uso en la literatura.
1
Functional Programming Languages and Computer Architecture: ...
The method relies on the semantic relationship between the different instances of
a polymorphic function. The semantics of the first-order polymorphic language he
considered was defined on the category of domains and continuous functions.
2
Programming Languages and Systems: 9th European Symposium on ...
Definition 42 (Data Polymorphic Functions): For function λx.e assigned with type (
∀ t. t → τ \ C) by the inference rules, λx.e is a data-polymorphic function in
constraint set C iff there appears τ in C s.t. erase(τ ) = τ and τ is data-polymorphic
in C.
3
Foundations of Object-oriented Languages: Types and Semantics
In order to introduce polymorphic functions, we first enrich our type system by
adding an expression representing the type of a polymorphic function. This will
be added as a type constructor with kind *. //. v € Constructor ::= ... | Vi>K. T The ...
4
PostgreSQL 9.0 Official Documentation - Volume III. Server ...
Polymorphic arguments and results are tied to each other and are resolved to a
specific data type when a query calling a polymorphic function is parsed. Each
position (either argument or return value) declared as anyelement is allowed to ...
Postgresql Global Development Group, 2011
5
Efficient
Polymorphic Calls
Thus, one can no longer trust the results of earlier implementation work that was
aimed at minimizing the number of instructions consumed by polymorphic
function calls. This book is in many ways the successor to Ungar's classic study of
...
By extension, func could be said to be polymorphic because it can be associated
with any function from an arbitrary type argument to an integer result. Thus,
doublefunc could be said to be a polymorphic function, because its argument
func is ...
7
Design and Verification of Microprocessor Systems for ...
Finally, the composition of an instantiation map M and a set S is defined as M om
S I {2% M10, S |zeDom The instantiation information of each occurrence of a
polymorphic function and datatype is gathered into an instantiation map during a
...
8
Programming Languages: Implementations, Logics, and ...
While a polymorphic function stands for one algorithm that happens to be
insensitive to what type the values in some structure are, a polytypic function
embraces a class of algorithms. The ability to define functions polytypically adds
another ...
Herbert Kuchen, S.Doaitse Swierstra, 1996
9
Advanced Functional Programming: Third International School, ...
Suppose we have a polymorphic function f of type Tα for all types α. That is, for
each type A there is an instance fA of type TA. The action of T is extended —in a
way to be made precise shortly— to binary relations, where if relation R has type
A ...
S. Doaitse Swierstra, Pedro R. Henriques, Jose N. Oliveira, 1999
10
Mathematics of Program Construction: 7th International ...
2.2 From Container Morphisms to Polymorphic Functions and Back Given a
container morphism (u, f) : (A ⊳ B) → (S ⊳ P) does (u, f) really define a
polymorphic function TA⊳B → TS⊳P? If so, are all polymorphic functions of this
form?. And in a ...
