Completely iterative monads in semantics of coinductive programs by Pirog, M

“…</p> <p>In the tradition of denotational semantics and functional programming, one can distinguish between pure computations, which are regarded as mathematical functions, and effectful ones, like those generating behaviour. …”

Verifying information flow and metaprogramming in dynamically typed languages by Lester, M

“…To our knowledge, this is the first fully static information flow analysis for a language with staged metaprogramming, and the first formal soundness proof of a CFA-based information flow analysis for a functional programming language.…”

Identification and Characterization of Alternatively Spliced Transcript Isoforms of <i>IRX4</i> in Prostate Cancer by Achala Fernando, Chamikara Liyanage, Afshin Moradi, Panchadsaram Janaththani, Jyotsna Batra

“…These IRX4 isoforms might induce distinct functional programming that could contribute to PCa hallmarks, thus providing novel insights into diagnostic, prognostic and therapeutic significance in PCa management.…”
Get full text

Computable decision making on the reals and other spaces via partiality and nondeterminism by Sherman, Benjamin, Sciarappa, Luke, Chlipala, Adam, Carbin, Michael James

“…We then introduce pattern matching on spaces, a language construct for creating programs on spaces, generalizing pattern matching in functional programming, where patterns need not represent decidable predicates and also may overlap or be inexhaustive, giving rise to nondeterminism or partiality, respectively. …”
Get full text

The bedrock structured programming system: combining generative metaprogramming and hoare logic in an extensible program verifier by Chlipala, Adam

Get full text
Get full text

Smten and the art of satisfiability-based search by Uhler, Richard Stephen

Get full text

Functional Pearl: A fresh look at binary search trees by Hinze, R

“…Search trees are routinely covered in introductory computer science classes and they are widely used in functional programming courses to illustrate the benefits of algebraic data types and pattern matching. …”

Corticosterone rather than ethanol epigenetic programmed testicular dysplasia caused by prenatal ethanol exposure in male offspring rats by Min Liu, Qi Zhang, Linguo Pei, Yunfei Zou, Guanghui Chen, Hui Wang

“…Taken together, PEE caused testicular dysplasia in male offspring rats, which was associated with corticosterone-induced low-functional programming of 3β-HSD through the GR/SF1/HDAC2/H3K14ac pathway. …”
Get full text

VSSP-activated macrophages mediate senescence and tumor inhibition in a preclinical model of advanced prostate cancer by Rydell Alvarez-Arzola, Nicoló Bancaro, Ping Lai, Giuseppe Attanasio, Laura Pellegrini, Martina Troiani, Manuel Colucci, Simone Mosole, Emiliano Pasquini, Andrea Alimonti, Circe Mesa

“…Taken together, our results highlight the rationale of exploiting macrophage functional programming as a promising strategy for CRPC therapy, with particular emphasis on ex vivo-activated proinflammatory macrophage adoptive transfer. …”
Get full text

Functional regulation of microglia by vitamin B12 alleviates ischemic stroke-induced neuroinflammation in mice by Yong Ge, Changjun Yang, Mojgan Zadeh, Shane M. Sprague, Yang-Ding Lin, Heetanshi Sanjay Jain, Brenden Fitzgerald Determann, II, William H. Roth, Juan Pablo Palavicini, Jonathan Larochelle, Eduardo Candelario-Jalil, Mansour Mohamadzadeh

“…Thus, our preclinical studies highlight the relevance of VB12 in the functional programming of microglia to alleviate neuroinflammation, minimize ischemic injury, and improve host neurological recovery after ischemic stroke.…”
Get full text

Distributive interaction of algebraic effects by Cheung, KH

“…<p>While monadic effects are widespread in modern functional programming, the idea of formulating computational effects as algebraic theories seems a less familiar one to programmers. …”

Alveolar Macrophages: Adaptation to Their Anatomic Niche during and after Inflammation by Florian Pierre Martin, Cédric Jacqueline, Jeremie Poschmann, Antoine Roquilly

“…After the complete resolution of the infectious episode, the functional programming of both embryonic and monocyte-derived ResAM remains altered for months and possibly for the entire life. …”
Get full text

Developmental toxicity and programming alterations of multiple organs in offspring induced by medication during pregnancy by Zhengjie Lu, Yu Guo, Dan Xu, Hao Xiao, Yongguo Dai, Kexin Liu, Liaobin Chen, Hui Wang

“…Combined with the latest research results of our laboratory, this paper reviews the latest research progress on the developmental toxicity and functional programming alterations of multiple organs in offspring induced by medication during pregnancy, which can provide a theoretical and experimental basis for rational medication during pregnancy and effective prevention and treatment of drug-related multiple fetal-originated diseases.…”
Get full text

Type system for resource bounds with type-preserving compilation by Wang, Peng,Ph. D.Massachusetts Institute of Technology.

Get full text

Functional quantum algorithms: a mélange of methods for matrix functions by Rossi, Zane Marius

“…Finally, we also situate functional quantum algorithms among existing constructions in classical functional programming, identifying them as instances of monads, suggesting concrete directions for high-level, flexible quantum algorithmic design and analysis.…”
Get full text
Get full text

The Genome Analysis Toolkit: A MapReduce framework for analyzing next-generation DNA sequencing data by McKenna, Aaron, Hanna, Matthew, Sivachenko, Andrey, Cibulskis, Kristian, Kernytsky, Andrew, Garimella, Kiran, Altshuler, David, Gabriel, Stacey B., Daly, Mark J., DePristo, Mark A., Banks, Eric, 1976-

“…Here, we discuss our Genome Analysis Toolkit (GATK), a structured programming framework designed to ease the development of efficient and robust analysis tools for next-generation DNA sequencers using the functional programming philosophy of MapReduce. The GATK provides a small but rich set of data access patterns that encompass the majority of analysis tool needs. …”
Get full text
Get full text

Development of decentralized data fusion algorithm with optimized kalman filter. by Quadri, Sayed Abulhasan

“…The model collaborates data fusion technology with algorithm engineering domain, accordingly data fusion algorithm is optimized using sophisticated technique such as functional programming to reduce the processing delay and memory usage. …”
Get full text

Java ALL-IN-ONE / by Lowe, Doug, author. 200454

Generic and Indexed Programming

“…A good grounding is assumed in typed functional programming, as in Haskell or OCaml. Six lecturers from the programming languages community, each an acknowledged expert in their specialism, covered various aspects of generic and indexed programming; each gave about four hours’ lectures, distributed throughout the week of the school. …”

Natural γδT17 cell development and functional acquisition is governed by the mTORC2-c-Maf-controlled mitochondrial fission pathway by Yunke Wang, Hui Qin, Yihua Cai, Xu Chen, Hong Li, Diego Elias Montoya-Durango, Chuanlin Ding, Xiaoling Hu, Julia H. Chariker, Harshini Sarojini, Sufan Chien, Eric C. Rouchka, Huang-Ge Zhang, Jie Zheng, Fuming Qiu, Jun Yan

“…Summary: Natural IL-17-producing γδ T cells (γδT17 cells) are unconventional innate-like T cells that undergo functional programming in the fetal thymus. However, the intrinsic metabolic mechanisms of γδT17 cell development remain undefined. …”
Get full text