Filters








61,449 Hits in 7.5 sec

Blame and coercion: together again for the first time

Jeremy Siek, Peter Thiemann, Philip Wadler
2015 Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2015  
While λB is little changed from previous work, λC and λS are new. Together, λB, λC, and λS provide a coherent foundation for design, implementation, and optimisation of gradual types.  ...  We systematically develop three calculi for gradual typing and the relations between them, building on and strengthening previous work.  ...  Acknowledgments Thanks to Shayan Najd, Michael Greenberg, and the PLDI referees for comments. Siek acknowledges NSF Grant 1360694.  ... 
doi:10.1145/2737924.2737968 dblp:conf/pldi/SiekTW15 fatcat:4zsnrwyipbd4doarfe7wrchpj4

Blame and coercion: Together again for the first time

JEREMY G. SIEK, PETER THIEMANN, PHILIP WADLER
2021 Journal of functional programming  
Together, $\lambda{B}$ , $\lambda{C}$ , $\lambda{S}$ , and $\lambda{T}$ provide a coherent foundation for design, implementation, and optimization of gradual types.  ...  We systematically develop four calculi for gradual typing and the relations between them, building on and strengthening previous work.  ...  Thanks to Shayan Najd, Michael Greenberg, the PLDI referees, and the students of TSPL for comments. Siek acknowledges NSF Grants 1360694, 1518844, and 1763922.  ... 
doi:10.1017/s0956796821000101 fatcat:l4liag6c5bcjtgrk2n6qdrwffy

Blame and coercion: together again for the first time

Jeremy Siek, Peter Thiemann, Philip Wadler
2015 SIGPLAN notices  
While λB is little changed from previous work, λC and λS are new. Together, λB, λC, and λS provide a coherent foundation for design, implementation, and optimisation of gradual types.  ...  We systematically develop three calculi for gradual typing and the relations between them, building on and strengthening previous work.  ...  Acknowledgments Thanks to Shayan Najd, Michael Greenberg, and the PLDI referees for comments. Siek acknowledges NSF Grant 1360694.  ... 
doi:10.1145/2813885.2737968 fatcat:z6ay3pa4jfez7lacige4a54jjm

Modeling the COVID-19 dissemination in the South Region of Brazil and testing gradual mitigation strategies [article]

Rafael Marques Da Silva
2020 medRxiv   pre-print
We used the SIRD (Susceptibles-Infectious-Recovered-Dead) model to describe the past data and to simulate strategies for the gradual mitigation of the epidemic curve by applying non-pharmacological measures  ...  and easy to handle model to introduce a thorough method of adjustment that allows us to achieve reliable fitting for the real data and to obtain insights about the current trends for the pandemic in each  ...  Acknowledgments The author thanks Dr. Carlos F.O. Mendes, Dr. Cesar Manchein, MSc. Eduardo L. Brugnago, and Dr. Marcus W. Beims for the fruitful discussions.  ... 
doi:10.1101/2020.07.02.20145136 fatcat:76yijozb35fxxp2wswlexct6nu

Parameterized Cast Calculi and Reusable Meta-theory for Gradually Typed Lambda Calculi [article]

Jeremy G. Siek
2021 arXiv   pre-print
The research on gradual typing has led to many variations on the Gradually Typed Lambda Calculus (GTLC) of Siek and Taha (2006) and its underlying cast calculus.  ...  Furthermore, researchers continue to develop variations on the GTLC but establishing all of the meta-theory for new variations is time consuming.  ...  PreCastStruct Structure We introduce the first of several structures (as in algebraic structures) that group together parameters needed to define reduction for the Parametric Cast Calculus.  ... 
arXiv:2001.11560v2 fatcat:fvykkpvefze5jjsya3wgpqx6aq

Abstracting Gradual Typing Moving Forward: Precise and Space-Efficient (Technical Report) [article]

Felipe Bañados Schwerter, Alison M. Clark, Khurram A. Jafery, Ronald Garcia
2020 arXiv   pre-print
First, a gradual language's runtime checks should preserve the space-efficiency guarantees inherent to the underlying static and dynamic languages.  ...  Garcia et al. [2016] observe that AGT involves two abstractions of static types: one for the static semantics and one for the dynamic semantics.  ...  We can again first step as many times as needed through [SCe'], then step the related term through [SRec-v] and then we can use rule [SStack].  ... 
arXiv:2010.14094v2 fatcat:xluygu445bbhfchys7lkhozu7y

Attributing modelling errors in HMM synthesis by stepping gradually from natural to modelled speech

Thomas Merritt, Javier Latorre, Simon King
2015 2015 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP)  
Even the best statistical parametric speech synthesis systems do not achieve the naturalness of good unit selection. We investigated possible causes of this.  ...  We manipulated the temporal smoothness and the variance of the spectral parameters to create stimuli, then presented these to listeners alongside natural and vocoded speech, as well as output from a full  ...  together in order to robustly estimate the state mean and variance.  ... 
doi:10.1109/icassp.2015.7178766 dblp:conf/icassp/MerrittLK15 fatcat:mf3xeagmmvdnxh4vxe252mykwu

Gradual program analysis

Samuel Estep
2019 Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity - SPLASH Companion 2019  
Dataflow analysis and gradual typing are both well-studied methods to gain information about computer programs in a finite amount of time.  ...  and fixpoint computations; and gradual typing theory, such as the concept of an unknown type, liftings of predicates, and liftings of functions.  ...  Now that b is null, we follow the if not b branch, and assign a to take on the value of b, which again doesn't change a.  ... 
doi:10.1145/3359061.3361082 dblp:conf/oopsla/Estep19 fatcat:kao4wir2vzelhiii6lyu53aneu

Nonparametric inference of gradual changes in the jump behaviour of time-continuous processes

Michael Hoffmann, Mathias Vetter, Holger Dette
2018 Stochastic Processes and their Applications  
We propose a new measure of time variation for the jump behaviour of the process.  ...  In this paper we discuss statistical inference for localizing and detecting gradual changes in the jump characteristic of a discretely observed Itō semimartingale.  ...  Acknowledgements This work has been supported in part by the Collaborative Research Center "Statistical modeling of nonlinear dynamic processes" (SFB 823, Projects A1 and C1) of the German Research Foundation  ... 
doi:10.1016/j.spa.2017.12.005 fatcat:dacezdz2cvf3rfvk6ro7pjhfl4

Parametric query optimization

Yannis E. Ioannidis, Raymond T. Ng, Kyuseok Shim, Timos K. Sellis
1997 The VLDB journal  
Parametric query optimization attempts to identify at compile time several execution plans, each one of which is optimal for a subset of all possible values of the run-time parameters.  ...  We present a general formulation of this problem and study it primarily for the buffer size parameter.  ...  In the first phase, II is run for a small period of time, i.e., a few local optimizations.  ... 
doi:10.1007/s007780050037 fatcat:pkqsbyfjibgxxio6ludndc43gy

Evolutionary parallel and gradually distributed lateral tuning of fuzzy rule-based systems

I. Robles, R. Alcalá, J. M. Benítez, F. Herrera
2009 Evolutionary Intelligence  
The results show that the distributed approach achieves better results in terms of quality and execution time as the complexity of the problem grows.  ...  In this work, we present a study on the use of the Distributed Genetic Algorithms for the tuning of Fuzzy Rule-Based Systems.  ...  be the sum of ranks for the datasets on which the first algorithm outperformed the second, and Rthe sum of ranks for the contrary outcome.  ... 
doi:10.1007/s12065-009-0025-0 fatcat:uyczsqbskvavhgbck7lc732ici

Functional Magnetic Resonance Imaging Activity during the Gradual Acquisition and Expression of Paired-Associate Memory

J. R. Law
2005 Journal of Neuroscience  
MTL in which the hippocampus is essential for forming associations and the cortex is involved in novelty detection.  ...  The finding that both the hippocampus and surrounding MTL cortex exhibited similar associative learning and novelty signals argues strongly against the view that there is a clear division of labor in the  ...  Again, only a portion of the data was used to determine our ROIs. Activities associated with the first presentation, memory strength indices 2 and 4, and both reference conditions were free to vary.  ... 
doi:10.1523/jneurosci.4935-04.2005 pmid:15958738 fatcat:tbfzbmwtzra45n7r7ghwpmo7ua

Parameterized cast calculi and reusable meta-theory for gradually typed lambda calculi

JEREMY G. SIEK, TIANYU CHEN
2021 Journal of functional programming  
Furthermore, researchers continue to develop variations on the GTLC, but establishing all of the meta-theory for new variations is time-consuming.  ...  The article then develops reusable meta-theory for these two calculi, proving type safety, blame safety, the gradual guarantees, and space consumption.  ...  for the Parametric Cast Calculus.  ... 
doi:10.1017/s0956796821000241 fatcat:4hgasphgungy7nkkg6tkcnkwuy

Parametrized surgery and isotopy

Wu-Chung Hsiang, Richard Sharpe
1976 Pacific Journal of Mathematics  
For example, for the w-torus, n ^ 6, this group is determined completely. We also provide a geometric interpretation of the periodicity sequence of [11]. Introduction.  ...  Let M be an %-dim (n ^ 6) smooth manifold without boundary 1 and let Diff M be the group of diffeomorphisms of M.  ...  Let us indicate the proof for the first case.  ... 
doi:10.2140/pjm.1976.67.401 fatcat:2e2sosopmjdcjmg6jpitss2ixy

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  
This paper addresses these issues by presenting the first implementation of gradual effect checking, for Scala, which supports both effect polymorphism and a domain-specific language called Effscript to  ...  In addition, a limiting factor in the adoption of effect systems is their unsuitability for localized and customized effect disciplines.  ...  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
« Previous Showing results 1 — 15 out of 61,449 results