Diseño ergonómico con pies ajustables para elevar a su estilo de tipado natural.
Ergonomic design with adjustable feet to elevate into your natural typing style.
El tipado molecular puede ser una herramienta útil para predecir resistencia a antimicrobianos.
Molecular typing may be a useful tool to predict antimicrobial resistance.
Es el ejemplo canónico y más sencillo de un cálculo lambda tipado.
It is the canonical and simplest example of a typed lambda calculus.
El lenguaje D es tipado estáticamente y compila directamente a código de máquina.
The D language is statically typed and compiles directly to machine code.
Java está tipado estáticamente y tiene una sintaxis parecida a la de C.
Java is statically typed and features a similar syntax to C.
Varios métodos han sido usados para tipado de cepas epidémicas de S. marcescens.
Many methods have been used for typing epidemic strains of S. marcescens.
La prueba de tipado de tejidos salió en negativo, lo cual es bueno.
The tissue typing test came out negative - which is good.
Si es posible, debe procederse al tipado de las cepas.
Typing of the isolates should be performed, if possible
Eso es lo único que tenemos que hacer distinto, hacerlo como un objeto de datos tipado.
That's the only thing we have to do different, make it a typed data object.
Aquí introducimos una extensión de lambda cálculo simplemente tipado con pares, donde tipos isomorfos son identificados.
We introduce an extension of simply typed lambda calculus with pairs where isomorphic types are identified.
Lua es un lenguaje dinámicamente tipado.
Lua is a dynamically typed language.
Ofrece todas las características explicadas arriba, incluyendo tipado polimórfico, evaluación perezosa y funciones de primera clase.
It provides all the features sketched above, including polymorphic typing, lazy evaluation and higher-order functions.
Se emplea tipado sensitivo al flujo en estas cláusulas a través del operador de verificación de tipos dinámico es.
Flow typing is employed in these clauses through the runtime type test operator, is.
