Sciweavers

249 search results - page 36 / 50
» Polymorphic Binding-Time Analysis
Sort
View
POPL
1993
ACM
14 years 1 months ago
Type Checking Type Classes
We study the type inference problem for a system with type classes as in the functional programminglanguage Haskell. Type classes are an extension of ML-style polymorphismwith ove...
Tobias Nipkow, Christian Prehofer
APSEC
2001
IEEE
14 years 1 months ago
A Framework for Migrating Procedural Code to Object-Oriented Platforms
With the rapid growth of the Internet and pervasive computing activities, the migration of back-end legacy systems to network centric environments has become a focal point for res...
Ying Zou, Kostas Kontogiannis
RECOMB
2000
Springer
14 years 1 months ago
Universal DNA tag systems: a combinatorial design scheme
Custom-designed DNA arrays offer the possibility of simultaneously monitoring thousands of hybridization reactions. These arrays show great potential for many medical and scientif...
Amir Ben-Dor, Richard M. Karp, Benno Schwikowski, ...
BMCBI
2008
87views more  BMCBI 2008»
13 years 9 months ago
Evaluation of two methods for computational HLA haplotypes inference using a real dataset
Background: HLA haplotype analysis has been used in population genetics and in the investigation of disease-susceptibility locus, due to its high polymorphism. Several methods for...
Bruno F. Bettencourt, Margarida R. Santos, Raquel ...
BMCBI
2006
159views more  BMCBI 2006»
13 years 9 months ago
ProtRepeatsDB: a database of amino acid repeats in genomes
Background: Genome wide and cross species comparisons of amino acid repeats is an intriguing problem in biology mainly due to the highly polymorphic nature and diverse functions o...
Mridul K. Kalita, Gowthaman Ramasamy, Sekhar Durai...