Buscar
Mostrando ítems 1-10 de 409461
Propositional equality for gradual dependently typed programming
(ACM, 2022)
Gradual dependent types can help with the incremental adoption of dependently typed code by providing a principled semantics for imprecise types and proofs, where some parts have been omitted. Current theories of gradual ...
Hardware implementation of type-2 programmable fuzzifier
(2011-05-20)
The design of full programmable type-2 membership function circuit is presented in this paper. This circuit is used to implement the fuzzifier block of Type-2 Fuzzy Logic Controller chip. In this paper the type-2 fuzzy set ...
Hardware implementation of type-2 programmable fuzzifier
(2011-05-20)
The design of full programmable type-2 membership function circuit is presented in this paper. This circuit is used to implement the fuzzifier block of Type-2 Fuzzy Logic Controller chip. In this paper the type-2 fuzzy set ...
A Gradual Interpretation of Union Types
(2017)
Union types allow to capture the possibility of a term to be of several possibly unrelated types. Traditional static approaches to union types are untagged and tagged unions, which present dual advantages in their use. ...
ON THE LOCAL CONVERGENCE OF A NEWTON-TYPE METHOD IN BANACH SPACES UNDER A GAMMA-TYPE CONDITION
(Universidad Católica del Norte, Departamento de Matemáticas, 2008)
Optimal auctions with multidimensional types and the desirability of exclusion
(Escola de Pós-Graduação em Economia da FGV, 2004-03-01)
Within the context of a single-unit, independent private values auction model, we show that if bidder types are multidimensional, then under the optimal auction exclusion of some bidder types will occur. A second contribution ...
Abstracting Gradual Typing
(Assoc Computing Machinery, 2016)
Language researchers and designers have extended a wide variety of type systems to support gradual typing, which enables languages to seamlessly combine dynamic and static checking. These efforts consistently demonstrate ...