A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is
Lecture Notes in Computer Science
Its semantic interpretation into a category of linear continuations then amounts to the call-by-name continuation-passing style (CPS) transformation into a linear lambda calculus with sum types. ... We propose a semantic framework for modelling the linear usage of continuations in typed call-by-name programming languages. ... Acknowledgements I thank Oliver Danvy for asking me how linear CPS for callby-name can be semantically understood, and anonymous reviewers for helpful comments. ...doi:10.1007/978-3-540-24754-8_17 fatcat:ehx7zccbaffv3belzzcd5nobyi
This diploma dissertation investigates the interaction between a linear type system supporting the temporary conversion of linear to unrestricted types and the continuation-passing style (CPS). ... Moreover, we define a continuation-passing style transformation, which transforms every valid program written in the related language Letbang to a valid LetbangCPS program. ... Key words Linear type system, continuation-passing style transformation, references, ML. ...doi:10.26240/heal.ntua.3414 fatcat:6x2dskmvprhurboazojpygl7hm
This of course implies that there is some sort of rule in accordance with which alone one may pass from A to C, which may be called the rule of contiguity or continuity. ... Each of these sub-groups is again catalogued as a linear group of groups of an order two less than the whole. And so on; till we reach sub- groups which are themselves linear. ...
We use this polymorphism to derive transforms that make use of effect information, in particular, a mixed linear/non-linear continuation-passing transform, in which expressions without control effects ... are passed their continuations linearly. ... and the linear continuation passing for pure expressions. ...doi:10.1145/640128.604144 fatcat:elq2r5h66ncxfdppek4tgh7u3e
Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '03
We use this polymorphism to derive transforms that make use of effect information, in particular, a mixed linear/non-linear continuation-passing transform, in which expressions without control effects ... are passed their continuations linearly. ... and the linear continuation passing for pure expressions. ...doi:10.1145/604131.604144 fatcat:igs5ohvj7rhb3d7k6ne4mlqa4u
As a result, a linear phase low-pass digital finite impulse response (FIR) filter function is generated in compact explicit form. ... Abstract-The approximation problem of a filter function of even and odd order is solved mathematically in this paper most directly applying the proposed Christoffel-Darboux formula for two continual ... CONCLUSION An original approach to a linear phase selective low-pass digital FIR filter design is presented in this paper. ...doi:10.5755/j01.eee.18.8.2639 fatcat:fwmh4pfuiveybngwdg7posrstu
for cps transforms that has both intuitionistic and linear function types. * This is an extended and revised version of a paper ( c ... However, continuations are often manipulated in a highly stylised way, and we show that all of these, bar backtracking, in fact use their continuations linearly; this is formalised by taking a target language ... admit a discipline of linear continuation-passing. ...doi:10.1023/a:1020891112409 fatcat:qnacygxbcfhtxijr4xfi2wuz64
We take the first step by implementing a property-based testing system for specifications written in the linear logic programming language Lolli. ... Acknowledgments We are grateful to Dale Miller for many discussions and in particular for suggesting the use of logical continuations. ... The linear interpreter performs worse than the state passing one, but not dramatically so. ...arXiv:2108.01610v1 fatcat:2aosrx7e45hu3hisdqphkwfhai
Finally, we demonstrate that shifting to a continual learning setting acts as a regularizer and prevents collapse, and a hybrid between continual and multi-epoch training can improve linear probe accuracy ... Thus, single pass training does not improve ResNet-18 ImageNet linear probe accuracy. ... Iteration 60 ResNet-18 Single pass Multiple, from 60 80 100 AUC 0.80 0.85 0.90 20 40 60 Iteration ResNet-18 Multiple pass 80 Single pass Multiple, from 60 100 Table 3 : 3 Places365 top-1 linear probing ...arXiv:2209.15007v1 fatcat:jiur3bg6kjbhrjez7aml4kycve
, and the quantity of the control points was insufficient so that the linear correlation between the dynamic deformation modulus () and the vibratory compaction value (VCV) was not strong. ... Results reveal the difference between the VCV mean measured in the last two passes and the standard deviation of the measured VCV mean in the last pass are used as the main basis for the actual compaction ... Continued. Figure 4 :Figure 5 : 45 VCV test results. ...doi:10.1155/2021/8894042 fatcat:eevrvazeo5egvkner5qvioiaai
In this paper, a novel analytical method for new class of selective linear-phase two-dimensional (2D) finite impulse response (FIR) filter functions generated by applying a new modified 2D Christoffel-Darboux ... Fundamental research proposed in this paper is also illustrated by examples of 2D FIR filter and adequate comparison with new class of multiplierless linear-phase 2D FIR filter function given in the literature ... Also, the new class of the linear-phase 2D FIR digital filters, generated by the proposed modified formula and by direct mapping from the continuous domain into 2D z domain, is given. ...doi:10.2298/fuee1604689d fatcat:7buxf6tjoffp5gpcaarbgufjr4
functionals passing through the points of smoothness in B, contains an element of F, where F is a collection of sets of normalized positive linear functionals passing through the points of smoothness ... Let A be a continuous linear operator on a reflexive Banach space. It is shown that if there exists a continuous linear operator 7’, a positive number 6 and a positive integer p’ such that || 7'— A? ...
Correct transformation from continuous two-dimensional domain into the z domains without residuum and without errors is described. ... Normalized surface area of the filter function pass-band is 3.45789156 10 -5 for given maximal attenuation of 0.28 dB. ... Also, the new class of the linear phase two-dimensional FIR digital filters, generated by the proposed modified formula and by direct mapping from the continuous domain into two-dimensional z domain, is ...doi:10.2298/fuee1302133p fatcat:x56vnbz5ebfjbjcthqat4wmyee
This paper reports further development of the so-called 1D Lyapunov equation based approach to the stability analysis of differential linear repetitive processes which are a distinct class of 2D continuous-discrete ... linear systems of both practical and theoretical interest. ... approaches for other classes of 2D linear (discrete or continuous-discrete) systems. ...doi:10.1016/s0024-3795(02)00287-2 fatcat:a3ho353xefbtrevbwe2mv2gk2y
Introduction Both linear and non-linear internal waves are potentially important at the SW06 site. ... On August 18, mid-frequency acoustic transmission data were collected on a vertical array over a continuous 7-hour period at range 550 m. ... Results show a new acoustic path being generated as the internal wave passes above the acoustic source. ...doi:10.1121/1.2963097 pmid:19045565 fatcat:iontoyvk7zgmxbknn5hb3rok4a
« Previous Showing results 1 — 15 out of 1,407,906 results