Results 11 to 20 of about 283,550 (300)

Type Reconstruction for Type Classes [PDF]

Journal of Functional Programming, 1995
Abstract We study the type inference problem for a system with type classes as in the functional programming language Haskell. Type classes are an extension of ML-style polymorphism with overloading. We generalize Milner's work on polymorphism by introducing a separate context constraining the type variables in a typing judgement ...
Tobias Nipkow, Christian Prehofer
openaire   +3 more sources

CoxBase: an Online Platform for Epidemiological Surveillance, Visualization, Analysis, and Typing of Coxiella burnetii Genomic Sequences

mSystems, 2021
Q (query) fever is an infectious zoonotic disease caused by the Gram-negative bacterium Coxiella burnetii. Although the disease has been studied for decades, it still represents a threat due to sporadic outbreaks across farms in Europe.
Akinyemi M. Fasemore, Andrea Helbich, Mathias C. Walter, Thomas Dandekar, Gilles Vergnaud, Konrad U. Förstner, Dimitrios Frangoulidis   +6 more
doaj   +1 more source

Type-Indexed Data Types

Science of Computer Programming, 2002
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Ralf Hinze, Johan Jeuring, Andres Löh
openaire   +8 more sources

Conversation Types [PDF]

Theoretical Computer Science, 2009
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Caires, Luis, Torres Vieira, Hugo
openaire   +4 more sources

Type inference with constrained types

Theory and Practice of Object Systems, 1999
In this paper we present a general framework HM(X) for Hindley/Milner style type systems with constraints, analogous to the CLP(X) framework in constrained logic programming. We show that the type system is sound with respect to a standard untyped compositional semantics. We present sufficient conditions on the constraint domain X so that the principal
Odersky, Martin, Sulzmann, Martin, Wehr, Martin   +2 more
openaire   +4 more sources

Improvement and Validation of a Multi-Locus Variable Number of Tandem Repeats Analysis (MLVA8+) for Klebsiella pneumoniae, Klebsiella variicola, and Klebsiella quasipneumoniae

Microorganisms, 2023
The genotyping of the multidrug-resistant Klebsiella pneumoniae species complex is essential to identify outbreaks and to track their source and spread.
Deyan Donchev, Ivan N. Ivanov, Ivan Stoikov, Stefana Sabtcheva, Yordan Kalchev, Marianna Murdjeva, Elina Dobreva, Rumyana Hristova   +7 more
doaj   +1 more source

Surveillance and Genomic Analysis of Third-Generation Cephalosporin-Resistant and Carbapenem-Resistant Klebsiella pneumoniae Complex in Germany

Antibiotics, 2022
To analyse the epidemiology and population structure of third-generation cephalosporin-resistant (3GCR) and carbapenem-resistant (CR) Klebsiella pneumoniae complex isolates, patients were screened for rectal colonisation with 3GCR/CR K.
Kyriaki Xanthopoulou, Can Imirzalioglu, Sarah V. Walker, Michael Behnke, Ariane G. Dinkelacker, Simone Eisenbeis, Petra Gastmeier, Hanna Gölz, Nadja Käding, Winfried V. Kern, Axel Kola, Evelyn Kramme, Kai Lucassen, Alexander Mischnik, Silke Peter, Anna M. Rohde, Jan Rupp, Evelina Tacconelli, David Tobys, Maria J. G. T. Vehreschild, Julia Wille, Harald Seifert, Paul G. Higgins, on behalf of the DZIF R-Net Study Group   +23 more
doaj   +1 more source

Evaluation of the genetic relatedness of Bacteroides fragilis isolates by TRs analysis [PDF]

Iranian Journal of Basic Medical Sciences, 2020
Objective(s): Human gastrointestinal tract harbors a variety of bacteria with vital roles in human health. Bacteroides fragilis is considered one of the dominant constituents of gut microflora which can act as an opportunistic pathogen leading to various
Niloofar Khodaei, behrooz Sadeghi kalani, Maryam Zamani, Rokhsareh Mohammadzadeh, Malihe Talebi, Tahmine Narimani, Negar Narimisa, Faramarz Masjedian Jazi   +7 more
doaj   +1 more source

Molecular Epidemiology, Virulence Traits and Antimicrobial Resistance Signatures of Aeromonas spp. in the Critically Endangered Iberochondrostoma lusitanicum Follow Geographical and Seasonal Patterns

Antibiotics, 2021
Despite the fact that freshwater fish populations are experiencing severe declines worldwide, our knowledge on the interaction between endangered populations and pathogenic agents remains scarce.
Miguel L. Grilo, Sara Isidoro, Lélia Chambel, Carolina S. Marques, Tiago A. Marques, Carla Sousa-Santos, Joana I. Robalo, Manuela Oliveira   +7 more
doaj   +1 more source

The Application of Pulsed Field Gel Electrophoresis in Clinical Studies [PDF]

Journal of Clinical and Diagnostic Research, 2016
Pulsed-field gel electrophoresis is a method applied in separating large segments of deoxyribonucleotide using an alternating and cross field. In a uniform magnetic field, components larger than 50kb pass a route through the gel and since the movement ...
Elaheh Gholami Parizad, Eskandar Gholami Parizad, Azar Valizadeh   +2 more
doaj   +1 more source