18429 search results - page 169 / 3686 » Typing dynamic typing |
136
Voted
ISCI
2007
15 years 5 months ago
2007
Fuzziness (entropy) is a commonly used measure of uncertainty for type-1 fuzzy sets. For interval type-2 fuzzy sets (IT2 FSs), centroid, cardinality, fuzziness, variance and skewn...
126
Voted
JFP
2007
15 years 5 months ago
2007
We present an approach to enriching the type system of ML with a restricted form of de
144
Voted
JLP
2007
15 years 5 months ago
2007
We propose a type system to enforce the security property of noninterference in a core reactive language, obtained by extending the imperative language of Volpano, Smith and Irvin...
178
click to vote
ENTCS
2002
15 years 4 months ago
2002
d Abstract) Naoshi Tabuchi Eijiro Sumii Akinori Yonezawa 1 Department of Computer Science, Graduate School of Information Science and Technology, University of Tokyo We present re...
138
Voted
LPAR
2010
Springer
15 years 3 months ago
2010
Springer
Termination of recursive functions is an important property in proof assistants based on dependent type theories; it implies consistency and decidability of type checking. Type-bas...