Buscar
Mostrando ítems 1-10 de 22723
Customizable Gradual Polymorphic Effects for Scala
(Assoc. Computing Machinery, 2015)
Despite their obvious advantages in terms of static reasoning, the adoption of effect systems is still rather limited in practice. Recent advances such as generic effect systems, lightweight effect polymorphism, and gradual ...
Gradual type-and-effect systems
(2016)
Effect systems have the potential to help software developers, but their practical adoption has been very limited. We conjecture that this limited adoption is due in part to the difficulty of transitioning from a system ...
Gradual type-and-effect systems
(2016)
Effect systems have the potential to help software developers, but their practical adoption has been very limited. We conjecture that this limited adoption is due in part to the difficulty of transitioning from a system ...
H-infinity-stability Analysis Of Fractional Delay Systems Of Neutral Type
(SIAM PUBLICATIONSPHILADELPHIA, 2016)
Customizable gradual polymorphic effects for Scala
(2015)
Despite their obvious advantages in terms of static reasoning, the adoption of effect systems is still rather limited in practice. Recent advances such as generic effect systems, lightweight effect polymorphism, and gradual ...
Chaos synchronization for hyperchaotic lorenz-type system via fuzzy-based sliding-mode observer
(2020-03)
Hyperchaotic systems have applications in multiple areas of science and engineering.
The study and development of these type of systems helps to solve diverse problems related to
encryption and decryption of information. ...
Analyticity and smoothing effect for the coupled system of equations of Korteweg-de vries type with a single point singularity
(Acta Applicandae Mathematicae, 2018)