We present a new compositional approach to game theory (CGT) based upon Arrows, concept originally from functional programming, closely related Tambara modules, and operators build Arrows old. model equilibria as bimodule over an Arrow define operator such existing Arrow. also strategies graded which builds by taking the colimit of A final bimodule. use this CGT show how known previously unknow...

Compositional compiler verification is a difficult problem that focuses on separate compilation of program components with possibly different verified compilers. Logical relations are widely used in proving correctness transformations higher-order languages; however, they do not scale to compositional multi-pass compilers due their lack transitivity. The only known technique apply for languages...

In many applications, graphs are a natural representation for the structure of a problem domain. Since functional languages supports only (tree-structured) algebraic datatypes, there are various ways to represent graphs in declarative languages. In this paper we describe a representation of graphs in a functional logic language. Our representation is compositional as lists or tree structures ar...

This analysis joins the debate on how declines in marriage have shifted the composition of the unmarried and married populations in the United States, and how compositional shifts have affected nonmarital birth rates. Gray, Stockard, and Stone (2006) presented one model for compositional effects that Ermisch (2009) challenged with alternative statistical tests. I propose an alternative model fo...

One of the challenges in designing systems is adopting a design method with compositional properties. Compositional functionality guarantees that two components that each perform a task can be integrated without a ecting the semantics of either task. Compositional performance means that two components can be integrated so that the timing of neither components changes. In this paper we describe ...

Natural languages are compositional in that themeaning of complex expressions depends on those of the parts and how they are put together. Here, I ask the following question: why are languages compositional? I answer this question by extending Lewis–Skyrms signaling games with a rudimentary form of compositional signaling and exploring simple reinforcement learning therein. As it turns out: in ...