Filters








1,786,314 Hits in 5.2 sec

Gradual type-and-effect systems

FELIPE BAÑADOS SCHWERTER, RONALD GARCIA, ÉRIC TANTER
2016 Journal of functional programming  
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

Matías Toro, Éric Tanter
2015 Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications - OOPSLA 2015  
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

Matías Toro, Éric Tanter
2015 SIGPLAN notices  
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

Felipe Bañados Schwerter, Ronald Garcia, Éric Tanter
2014 SIGPLAN notices  
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

Felipe Bañados Schwerter, Ronald Garcia, Éric Tanter
2014 Proceedings of the 19th ACM SIGPLAN international conference on Functional programming - ICFP '14  
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

DEREK DREYER, MARY SHEERAN
2016 Journal of functional programming  
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]

Peter Thiemann, Luminous Fennell
2014 Lecture Notes in Computer Science  
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

Ronald Garcia, Alison M. Clark, Éric Tanter
2016 SIGPLAN notices  
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

Ronald Garcia, Alison M. Clark, Éric Tanter
2016 Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL 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.  ...  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

Ryoichi Nakashima, Takatsune Kumada
2020 Frontiers in Psychology  
., 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

Miguel G. Matias, Ross A. Coleman, Dieter F. Hochuli, Antony J. Underwood, Martin Solan
2013 PLoS ONE  
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

Wujie Zheng, Jinhui Yuan, Huiyi Wang, Fuzong Lin, Bo Zhang
2005 Visual Communications and Image Processing 2005  
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

Y. Nakamura, M. Kitamura
1989 International Astronomical Union Colloquium  
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

Youn Ku Kang, Young Sun Ryou, Jae Kyung Jang, Young Hwa Kim, Jong Goo Kim, Geum Chun Kang
2014 Journal of Biosystems Engineering  
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

Spenser Bauman, Carl Friedrich Bolz-Tereick, Jeremy Siek, Sam Tobin-Hochstadt
2017 Proceedings of the ACM on Programming Languages  
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