2004 ◽  
Vol 39 (9) ◽  
pp. 79-89
Author(s):  
Olin Shivers ◽  
David Fisher

2006 ◽  
Vol 16 (4-5) ◽  
pp. 547-582 ◽  
Author(s):  
OLIN SHIVERS ◽  
DAVID FISHER

It is possible to extend the basic notion of “function call” to allow functions to have multiple return points. This turns out to be a surprisingly useful mechanism. This article conducts a fairly wide-ranging tour of such a feature: a formal semantics for a minimal $\lambda$-calculus capturing the mechanism; motivating examples; monomorphic and parametrically polymorphic static type systems; useful transformations; implementation concerns and experience with an implementation; and comparison to related mechanisms, such as exceptions, sum-types and explicit continuations. We conclude that multiple-return function call is not only a useful and expressive mechanism, at both the source-code and intermediate-representation levels, but also quite inexpensive to implement.


2017 ◽  
pp. 17-33
Author(s):  
Thomas Mailund
Keyword(s):  

2017 ◽  
Vol 1 (2) ◽  
pp. 472
Author(s):  
Ni Luh Putu Yulia Sukma Yanti

<p><em>Ngaben Ningkeb interpreted Ngaben ceremony that ended in a reversed way or called Ningkeb.Fenomena background researcher to examine the problems about the implementation of Ngaben Ningkeb Ceremony with the formulation of the problem include: 1). How is the Ngompen Ningkeb Ceremony Procession in Banjar Kebon, Pakraman Blahbatuh Village, Blahbatuh District, Gianyar Regency? 2). What is the function of Ngaben Ningkeb Ceremony in Banjar Kebon, Pakraman Blahbatuh Village, Blahbatuh District, Gianyar Regency? 3). What is the philosophical meaning contained in Ngompen Ningkeb Ceremony at Banjar Kebon, Pakraman Blahbatuh Village, Blahbatuh District, Gianyar Regency? With the aim of research can implement the science of religion obtained in the life of the community and know in general about the Procession, Functions and Meaning philosophical related Ngaben Ningkeb Ceremony.</em></p><p><em>This research is discussed using several theories, among others, Religious Theory, is used because this research includes the research of Religion, Structural Functionalism Theory, used to dissect the problems related to Ngaben Ningkeb Ceremony, and Symbol Theory, is used to study the meaning of Philosophy. This type of research is qualitative research with primary data source from the field that is by observation and interview while secondary data obtained through documentation technique.</em></p><p><em>The results of the study as follows: 1). A. The initial procession Ngaben ningkeb ceremony, among others: Nyamuh, Matur Piuning, Mapajati, Ngulapin and Nyiramin. B. Ningkeb peak procession among others: Nedunin Sawa, Towards Setra, Sprinkle various types Tirta, Ngeseng Sawa, and last Ningkeb. C. The process after the implementation of Ngaben Ningkeb, among others: Mapegat and Mecaru. 2). Function Ceremony Ngaben Ningkeb include: A. Sustainability Function, where Ngingken ningkeb ceremony can be practically can be a ceremony that deserves to be preserved because in every process is something sacred and different with Ngaben in general. B. The return function of Sanghyang Panca Mahabhuta, which outlines the elements of Panca Mahabhuta in this great realm and usher Atma (Spirit) into Pitra nature by deciding Atma's love with his world. C. Purgatory function, in this case, purification is intended as a main foundation that should be put forward in the process Ngaben ningkeb ceremony. 3). And the meaning contained in Ngingken ningkeb ceremony is a philosophical meaning, where the conception of sarira is used as the meaning of philosophy Ngaben ningkeb is the conception of Sarira according to Wrhaspati Tattwa. And the meaning of Return Panca Mahabhuta, where basically all will return by itself although not done ceremony Ngaben, but it takes a very long time, hence from cultivated to return by cremation (Ngaben).</em></p>


2019 ◽  
Vol 51 (03) ◽  
pp. 865-897 ◽  
Author(s):  
Wenyuan Wang ◽  
Zhimin Zhang

AbstractMotivated by Avram, Vu and Zhou (2017), Kyprianou and Zhou (2009), Li, Vu and Zhou (2017), Wang and Hu (2012), and Wang and Zhou (2018), we consider in this paper the problem of maximizing the expected accumulated discounted tax payments of an insurance company, whose reserve process (before taxes are deducted) evolves as a spectrally negative Lévy process with the usual exclusion of negative subordinator or deterministic drift. Tax payments are collected according to the very general loss-carry-forward tax system introduced in Kyprianou and Zhou (2009). To achieve a balance between taxation optimization and solvency, we consider an interesting modified objective function by considering the expected accumulated discounted tax payments of the company until the general draw-down time, instead of until the classical ruin time. The optimal tax return function and the optimal tax strategy are derived, and some numerical examples are also provided.


2019 ◽  
Vol 279 (2) ◽  
pp. 471-485
Author(s):  
Lê Nguyên Hoang ◽  
François Soumis ◽  
Georges Zaccour

Sign in / Sign up

Export Citation Format

Share Document