18429 search results - page 147 / 3686 » Typing dynamic typing |
151
click to vote
ICFP
2002
ACM
16 years 4 months ago
2002
ACM
We propose an extension of Haskell's type class system with bstractions in the type language. Type inference for our extension relies on a novel constrained unification proce...
132
click to vote
DCC
2008
IEEE
16 years 4 months ago
2008
IEEE
A partial difference set having parameters (n2, r(n - 1), n + r2 - 3r, r2 - r) is called a Latin square type partial difference set, while a partial difference set having paramete...
129
Voted
ICSE
2009
IEEE-ACM
15 years 11 months ago
2009
IEEE-ACM
Lightweight fault-localization techniques use program coverage to isolate the parts of the code that are most suspicious of being faulty. In this paper, we present the results of ...
154
click to vote
SGAI
2009
Springer
15 years 11 months ago
2009
Springer
Planning resources for a supply chain is a major factor determining its success or failure. In this paper we build on previous work introducing an Interval Type-2 Fuzzy Logic mode...
134
click to vote
CALCO
2007
Springer
15 years 11 months ago
2007
Springer
We discuss the treatment of initial datatypes and final process types in the wide-spectrum language HasCASL. In particular, we present specifications that illustrate how datatype...