Results 301 to 310 of about 2,542,433 (345)

Molecular Characterization of Clinical Isolates of Methicillin-Resistant <i>Staphylococcus aureus</i> from Chonburi, Thailand. [PDF]

open access: yesPathogens
Wassanarungroj P   +9 more
europepmc   +1 more source

EmsB Microsatellite Analysis of <i>Echinococcus multilocularis</i> Specimens Isolated from Belgian Patients with Alveolar Echinococcosis and from Animal Hosts. [PDF]

open access: yesPathogens
Egrek S   +10 more
europepmc   +1 more source

Unobtrusive inference of circadian rhythms from smartphone data

open access: yes
Knol L   +9 more
europepmc   +1 more source

Development of a robust FT-IR typing system for <i>Salmonella enterica</i>, enhancing performance through hierarchical classification. [PDF]

open access: yesMicrobiol Spectr
Fredes-García D   +9 more
europepmc   +1 more source

Typing dynamic typing

Proceedings of the seventh ACM SIGPLAN international conference on Functional programming, 2002
Even when programming in a statically typed language we every now and then encounter statically untypable values; such values result from interpreting values or from communicating with the outside world. To cope with this problem most languages include some form of dynamic types. It may be that the core language has
Arthur Baars, S. Doaitse Swierstra
openaire   +3 more sources

"Type" is not a type

Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '86, 1986
A function has a dependent type when the type of its result depends upon the value of its argument. Dependent types originated in the type theory of intuitionistic mathematics and have reappeared independently in programming languages such as CLU, Pebble, and Russell.
Albert R. Meyer, Mark B. Reinhold
openaire   +2 more sources

Home - About - Disclaimer - Privacy