429 search results - page 55 / 86 » Polymorphic typed defunctionalization |
FPCA
1991
14 years 10 days ago
1991
Objects with dynamic types allow the integration of operations that essentially require runtime type-checking into statically-typed languages. This article presents two extensions...
ICFP
2005
ACM
14 years 8 months ago
2005
ACM
This paper explains how the high-level treatment of datatypes in functional languages--using features like constructor functions and pattern matching--can be made to coexist with ...
IWANN
2009
Springer
14 years 3 months ago
2009
Springer
SNP-microarrays are able to measure simultaneously both copy number and genotype at several single nucleotide polymorphism positions. Combining the two data, it is possible to bett...
TPHOL
2008
IEEE
14 years 3 months ago
2008
IEEE
We introduce a lightweight approach for reasoning about programs involving imperative data structures using the proof assistant Isabelle/HOL. It is based on shallow embedding of pr...
NAR
2007
13 years 8 months ago
2007
Frequent outbreaks of highly pathogenic avian influenza and the increasing data available for comparative analysis require a central database specialized in influenza viruses (IVs...