Stem banana$ (all stems)

5 papers:

LDTA-J-2009-AndersenBC #algebra #composition

Banana Algebra: Compositional syntactic language extension (JA, CB, DRC), pp. 1845–1870.

TACAS-2003-BraghinCFFLP #analysis #bound #named

BANANA — A Tool for Boundary Ambients Nesting ANAlysis (CB, AC, SF, RF, FLL, CP), pp. 437–441.

ICFP-2003-WashburnW #encoding #higher-order #morphism #parametricity #polymorphism #syntax

Boxes go bananas: encoding higher-order abstract syntax with parametric polymorphism (GW, SW), pp. 249–262.

FPCA-1995-MeijerH #exponential

Bananas in Space: Extending Fold and Unfold to Exponential Types (EM, GH), pp. 324–333.

FPCA-1991-MeijerFP #functional #lens #programming

Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire (EM, MMF, RP), pp. 124–144.