A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Filters
Gradual type-and-effect systems
2016
Journal of functional programming
Preserved Fulltext
We use gradual effect checking to develop a fully gradual type-and-effect framework, which permits interaction between static and dynamic checking for both effects and types. ...
We extend the generic type-and-effect framework of Marino and Millstein with a notion of unknown effects, which turns out to be significantly more subtle than unknown types in traditional gradual typing ...
Gradual Typing and Gradual Effects: Gradual Type-and-Effect Systems The gradual effects framework empowers the programmer to decide when and where to introduce effect annotations, automatically adding ...
doi:10.1017/s0956796816000162
fatcat:f2tliqfjmzgljctw4fjjlptau4
Customizable gradual polymorphic effects for Scala
2015
Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications - OOPSLA 2015
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Recent advances such as generic effect systems, lightweight effect polymorphism, and gradual effect checking, all represent promising steps towards making effect systems suitable for widespread use. ...
However, no existing system combines these approaches: the theory of gradual polymorphic effects has not been developed, and there are no implementations of gradual effect checking. ...
We thank Jonathan Aldrich, Felipe Bañados, Jose Daniel Carrasco, Ricardo Jacas, and Gustavo Soto-Ridd for discussions and feedback on either the paper, the artifact, or both. ...
doi:10.1145/2814270.2814315
dblp:conf/oopsla/ToroT15
fatcat:djd5f2ffsve6lnlm37v2pfsl4e
Customizable gradual polymorphic effects for Scala
2015
SIGPLAN notices
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Recent advances such as generic effect systems, lightweight effect polymorphism, and gradual effect checking, all represent promising steps towards making effect systems suitable for widespread use. ...
However, no existing system combines these approaches: the theory of gradual polymorphic effects has not been developed, and there are no implementations of gradual effect checking. ...
We thank Jonathan Aldrich, Felipe Bañados, Jose Daniel Carrasco, Ricardo Jacas, and Gustavo Soto-Ridd for discussions and feedback on either the paper, the artifact, or both. ...
doi:10.1145/2858965.2814315
fatcat:dvhre2iv6ze2tpoaozekhg5hmm
A theory of gradual effect systems
2014
SIGPLAN notices
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
We extend the generic type-and-effect framework of Marino and Millstein with a notion of unknown effects, which turns out to be significantly more subtle than unknown types in traditional gradual typing ...
We also demonstrate how an effect system formulated in Marino and Millstein's framework can be automatically extended to support gradual checking. ...
In particular, we intend to extend our system to support full gradual type-and-effect systems, which depend on gradual effects as an initial step, and define blame tracking for effect casts. f = λx : Ref ...
doi:10.1145/2692915.2628149
fatcat:xveuwpukhfdgvdiwcrjynap7ty
A theory of gradual effect systems
2014
Proceedings of the 19th ACM SIGPLAN international conference on Functional programming - ICFP '14
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
We extend the generic type-and-effect framework of Marino and Millstein with a notion of unknown effects, which turns out to be significantly more subtle than unknown types in traditional gradual typing ...
We also demonstrate how an effect system formulated in Marino and Millstein's framework can be automatically extended to support gradual checking. ...
In particular, we intend to extend our system to support full gradual type-and-effect systems, which depend on gradual effects as an initial step, and define blame tracking for effect casts. f = λx : Ref ...
doi:10.1145/2628136.2628149
dblp:conf/icfp/SchwerterGT14
fatcat:wcbunjwaezhgrnbu6ppw6beovq
Special issue dedicated to ICFP 2014: Editorial
2016
Journal of functional programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
The selected papers demonstrate both the quality and the breadth of the conference, with a strong emphasis on types and their applications, and ranging from compilation methods through contract verification ...
to homotopy type theory. ...
In Gradual Type-and-Effect Systems, Bañados Schwerter, Garcia, and Tanter develop a theory of gradual effect checking, using the framework of abstract interpretation. ...
doi:10.1017/s0956796816000228
fatcat:raf3t4hb3jahthr3ngcb5oo6zq
Gradual Typing for Annotated Type Systems
[chapter]
2014
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Recent work considered a number of variations on gradual typing that are not directly related to dynamic typing, like gradual information flow, gradual typestate, and gradual effect systems. ...
Gradual typing emerged as an approach to combine static and dynamic typing in a single language. ...
For lack of space, we refer to our original paper on gradual annotation typing for a detailed discussion of prior work on gradual typing and annotated type systems, respectively [FT14] . fun eta (dist ...
doi:10.1007/978-3-642-54833-8_4
fatcat:mcgnt3667fddjayzjtaqkeqsqi
Abstracting gradual typing
2016
SIGPLAN notices
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
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. ...
Gradual type system designers need more formal tools to help them conceptualize, structure, and evaluate their designs. ...
Jafery, Felipe Bañados Schwerter, Matías Toro, and the anonymous referees for their feedback. ...
doi:10.1145/2914770.2837670
fatcat:4qy6yaeimvabhexpwp7qqky2hq
Abstracting gradual typing
2016
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL 2016
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
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. ...
Gradual type system designers need more formal tools to help them conceptualize, structure, and evaluate their designs. ...
Jafery, Felipe Bañados Schwerter, Matías Toro, and the anonymous referees for their feedback. ...
doi:10.1145/2837614.2837670
dblp:conf/popl/GarciaCT16
fatcat:r3o6vix23rc4bkns4xosbhdxui
Explicit Sense of Agency in an Automatic Control Situation: Effects of Goal-Directed Action and the Gradual Emergence of Outcome
2020
Frontiers in Psychology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
., in driving situations, the driver steps on the brake pedal to stop the car at an expected position) and the gradual emergence of the outcome (e.g., the driver steps on the brake pedal and the car usually ...
Recently developed automatic control systems, such as the cruise control systems in autonomous vehicles, require less manual control from the manipulators. ...
AUTHOR CONTRIBUTIONS RN developed the study concept, collected and analyzed the experimental data, and drafted the manuscript. TK helped to develop the study concept and drafting the manuscript. ...
doi:10.3389/fpsyg.2020.02062
pmid:32982855
pmcid:PMC7488175
fatcat:fxtpoatx5nfejhu6vcpuar2sae
Macrofaunal Responses to Edges Are Independent of Habitat-Heterogeneity in Experimental Landscapes
2013
PLoS ONE
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
habitats within the landscape) and different types of transitions between habitats (i.e. sharp vs gradual). ...
Our experiments allowed the effects of composition and transitions between habitats to be disentangled from those of proximity to edges of landscapes. ...
Moreira, and A. Belo do Couto for their invaluable assistance with field-work and construction of artificial habitats. P. Macreadie commented on an early version of this manuscript. ...
doi:10.1371/journal.pone.0061349
pmid:23593471
pmcid:PMC3620172
fatcat:zlg7xspbvrcf3a33ktxnrxbfyi
A novel shot boundary detection framework
2005
Visual Communications and Image Processing 2005
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2009; you can also visit the original URL.
The file type is application/pdf.
Finally, the system is evaluated on the TRECVID benchmarking platform and the experimental results reveal the effectiveness of our system. ...
Then this paper presents a novel shot boundary detection framework, consisting of three components: fade out/in (abbreviated as FOI) detector, cut detector and gradual transition (abbreviated as GT) detector ...
Finally, the system is evaluated on the TRECVID benchmarking platform, and the experimental results reveal the effectiveness of our system. The remainder of this paper is organized as follows. ...
doi:10.1117/12.631547
fatcat:gx6w7qtuure7fgcre2xgwdy54e
The Gravity-Darkening of the Main-Sequence Components of Spectral Types A, F and G in Detached Close Binary Systems
1989
International Astronomical Union Colloquium
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
for eleven main-sequence components of spectral types A, F and G which should cover the range of structural change (from radiative to convective) in stellar atmospheres. ...
Abstract.From analysis of the photometric ellipticity effect in seven well-understood detached close binary systems, empirical values of the exponent α of gravity-darkening have been practically deduced ...
main-sequence components of spectral types A, F and G which should cover the range of structural change (from radiative to convective) in stellar atmospheres. ...
doi:10.1017/s0252921100088084
fatcat:nphyjjpmmzdrzmvcyxiyqlvige
Performance Analysis of Water-Water Heat Pump System of 100 kW Scale for Cooling Agricultural Facilities
2014
Journal of Biosystems Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
It was intended to suggest performance criteria and performance improvement for the effective cooling system. ...
The power meter measured electric power in kW consumed by the heat pump system. T-type thermocouples measured the temperature of each part of the heat pump system. ...
The heat pump system is divided into compression and absorption types. The compression type heat pump system is mainly used, now. ...
doi:10.5307/jbe.2014.39.1.034
fatcat:ioncfll2szblthrmyl2hhnydey
Sound gradual typing: only mostly dead
2017
Proceedings of the ACM on Programming Languages
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
While gradual typing has proven itself attractive to programmers, many systems have avoided sound gradual typing due to the run time overhead of enforcement. ...
In the context of sound gradual typing, both anecdotal and systematic evidence has suggested that run time costs are quite high, and often unacceptable, casting doubt on the viability of soundness as an ...
Siek and Tobin-Hochstadt are supported by NSF Grant 1518844. ...
doi:10.1145/3133878
dblp:journals/pacmpl/BaumanBST17
fatcat:ls3lhv6rdjhhhiwh64nog3bfi4
« Previous
Showing results 1 — 15 out of 1,786,314 results