Staging with class: a specification for typed template Haskell

Multi-stage programming using typed code quotation is an established technique for writing optimizing code generators with strong type-safety guarantees. Unfortunately, quotation in Haskell interacts poorly with type classes, making it difficult to write robust multi-stage programs. We study this unsound interaction and propose a resolution, staged type class constraints, which we formalize in a source calculus λ ⇒ that elaborates into an explicit core calculus F . We show type soundness of both calculi, establishing that well-typed, well-staged source programs always elaborate to well-typed, well-staged core programs, and prove beta and eta rules for code quotations. Our design allows programmers to incorporate type classes into multi-stage programs with confidence. Although motivated by Haskell, it is also suitable as a foundation for other languages that support both overloading and quotation.

STING Signaling and Skin Cancers

Recent developments in immunotherapy against malignancies overcome the disadvantages of traditional systemic treatments; however, this immune checkpoint treatment is not perfect and cannot obtain a satisfactory clinical outcome in all cases. Therefore, an additional therapeutic option for malignancy is needed in oncology. Stimulator of interferon genes (STING) has recently been highlighted as a strong type I interferon driver and shows anti-tumor immunity against various malignancies. STING-targeted anti-tumor immunotherapy is expected to enhance the anti-tumor effects and clinical outcomes of immunotherapy against malignancies. In this review, we focus on recent advancements in the knowledge gained from research on STING signaling in skin cancers. In addition to the limitations of STING-targeted immunotherapy, we also discuss the clinical application of STING agonists in the treatment of skin cancer.

Weighted Hardy operators in local generalized Orlicz-Morrey spaces

In this paper, we find sufficient conditions on general Young functions $(\Phi, \Psi)$ and the functions $(\varphi_1,\varphi_2)$ ensuring that the weighted Hardy operators $A_\omega^\alpha$ and ${\mathcal A}_\omega^\alpha$ are of strong type from a local generalized Orlicz-Morrey space $M^{0,\,loc}_{\Phi,\,\varphi_1}(\mathbb R^n)$ into another local generalized Orlicz-Morrey space $M^{0,\,loc}_{\Psi,\,\varphi_2}(\mathbb R^n)$. We also obtain the boundedness of the commutators of $A_\omega^\alpha$ and ${\mathcal A}_\omega^\alpha$ from $M^{0,\,loc}_{\Phi,\,\varphi_1}(\mathbb R^n)$ to $M^{0,\,loc}_{\Psi,\,\varphi_2}(\mathbb R^n)$.

Improving quality of meat and meat products subject to behaviors of crossbred rams

The paper presents the results of a study to explore the influence of different behaviors of rams bred by crossing the Prekos and the Edilbay breeds on the technological properties and quality of meat and meat products. It was found that the meat from rams of the first, strong, type of behavior has the best technological properties and got a high tasting rating – excellent quality. Meat processing has kept the brand, the best quality product “Pressed Boiled Lamb” is also produced from the meat of rams coming under a strong type of behavior.

Weak and strong boundedness for p-adic fractional Hausdorff operator and its commutator

In this paper, the boundedness of the Hausdorff operator on weak central Morrey space is obtained. Furthermore, we investigate the weak bounds of the p-adic fractional Hausdorff operator on weighted p-adic weak Lebesgue spaces. We also obtain the sufficient condition of commutators of the p-adic fractional Hausdorff operator by taking symbol function from Lipschitz spaces. Moreover, strong type estimates for fractional Hausdorff operator and its commutator on weighted p-adic Lorentz spaces are also acquired.

Duality for Outer $$L^p_\mu (\ell ^r)$$ Spaces and Relation to Tent Spaces

We study the outer $$L^p$$ L p spaces introduced by Do and Thiele on sets endowed with a measure and an outer measure. We prove that, in the case of finite sets, for $$1< p \leqslant \infty , 1 \leqslant r < \infty $$ 1 < p ⩽ ∞ , 1 ⩽ r < ∞ or $$p=r \in \{ 1, \infty \}$$ p = r ∈ { 1 , ∞ } , the outer $$L^p_\mu (\ell ^r)$$ L μ p ( ℓ r ) quasi-norms are equivalent to norms up to multiplicative constants uniformly in the cardinality of the set. This is obtained by showing the expected duality properties between the corresponding outer $$L^p_\mu (\ell ^r)$$ L μ p ( ℓ r ) spaces uniformly in the cardinality of the set. Moreover, for $$p=1, 1 < r \leqslant \infty $$ p = 1 , 1 < r ⩽ ∞ , we exhibit a counterexample to the uniformity in the cardinality of the finite set. We also show that in the upper half space setting the desired properties hold true in the full range $$1 \leqslant p,r \leqslant \infty $$ 1 ⩽ p , r ⩽ ∞ . These results are obtained via greedy decompositions of functions in the outer $$L^p_\mu (\ell ^r)$$ L μ p ( ℓ r ) spaces. As a consequence, we establish the equivalence between the classical tent spaces $$T^p_r$$ T r p and the outer $$L^p_\mu (\ell ^r)$$ L μ p ( ℓ r ) spaces in the upper half space. Finally, we give a full classification of weak and strong type estimates for a class of embedding maps to the upper half space with a fractional scale factor for functions on $$\mathbb {R}^d$$ R d .

Poetess of individual competitions (nietzschean motifs in Lesia Ukrainka’s dramas)

The article examines the individualistic manifestations of the heroes of Lesia Ukrainka’s poetic dramas. The key point is focused on the confrontation between a free personality and a passive mob. The author draws parallels between Friedrich Nietzsche’s and Lesia Ukrainka’s individualistic manifestations, and describes how the Ukrainian poetess creates her own accounts of individualism, which are close to Nietzscheanism: anti-Christianity, will to power, acceptance of destiny, self-overcoming, etc. The main difference between the two thinkers consists in Lesia Ukrainka’s approach when her ideas are expressed by a strong type of woman.

Type specimens of Ichneumonidae (Hymenoptera) described by Brèthes held in the Museo Argentino de Ciencias Naturales “Bernardino Rivadavia”, Argentina

A catalogue is provided for the name-bearing type specimens of Ichneumonidae described by Brèthes held in the Museo Argentino de Ciencias Naturales “Bernardino Rivadavia”. The collection includes a total of six holotypes, 16 lectotypes, and 43 paralectotypes, of 22 nominal species.