Sciweavers

121 search results - page 14 / 25
» Parametric polymorphism for XML
Sort
View
PLPV
2010
ACM
15 years 6 months ago
Free theorems for functional logic programs
Type-based reasoning is popular in functional programming. In particular, parametric polymorphism constrains functions in such a way that statements about their behavior can be de...
Jan Christiansen, Daniel Seidel, Janis Voigtlä...
CORR
2002
Springer
96views Education» more  CORR 2002»
14 years 9 months ago
The Sketch of a Polymorphic Symphony
In previous work, we have introduced functional strategies, that is, first-class generic functions that can traverse into terms of any type while mixing uniform and type-specific ...
Ralf Lämmel
EUSFLAT
2007
152views Fuzzy Logic» more  EUSFLAT 2007»
14 years 11 months ago
Object Oriented Approach in Fuzzy Arithmetic Using Parametric Representation of Fuzzy Numbers
Parametric representation of fuzzy numbers (PFN) with derived methods for performing fuzzy arithmetic proves to have better accuracy and similar computational speed to using trian...
Frantisek Hunka
BMCBI
2010
147views more  BMCBI 2010»
14 years 9 months ago
CNstream: A method for the identification and genotyping of copy number polymorphisms using Illumina microarrays
Background: Understanding the genetic basis of disease risk in depth requires an exhaustive knowledge of the types of genetic variation. Very recently, Copy Number Variants (CNVs)...
Arnald Alonso, Antonio Julià, Raül Tor...
ICFP
2000
ACM
15 years 2 months ago
Functional programming in C++
This paper describes FC++: a rich library supporting functional programming in C++. Prior approaches to encoding higher order functions in C++ have suffered with respect to polymo...
Brian McNamara, Yannis Smaragdakis