267 search results - page 4 / 54 » Formal Parametric Polymorphism |
77
Voted
EUSFLAT
2007
14 years 11 months ago
2007
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...
71
Voted
POPL
2003
ACM
15 years 2 months ago
2003
ACM
First-class continuations are a powerful computational effect, allowing the programmer to express any form of jumping. Types and effect systems can be used to reason about contin...
89
Voted
POPL
1997
ACM
15 years 1 months ago
1997
ACM
Languages like ML and Haskell encourage the view of values as first-class entities that can be passed as arguments or results of functions, or stored as components of data struct...
78
Voted
ICFP
1999
ACM
15 years 1 months ago
1999
ACM
Many properties of parametric, polymorphic functions can be determined simply by inspection of their types. Such results are usually proven using Reynolds's parametricity the...
94
Voted
CASC
2010
Springer
14 years 8 months ago
2010
Springer
Computer algebra in scientific computation squarely faces the dilemma of natural mathematical expression versus efficiency. While higher-order programming constructs and parametri...