BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
monad (2)
equal (2)
between (1)
type (1)
transform (1)

Stem coproduct$ (all stems)

6 papers:

LICSLICS-2012-AdamekMBL #monad #set
Coproducts of Monads on Set (JA, SM, NB, PBL), pp. 45–54.
ICGTICGT-2004-Casas-GarrigaB #partial order
Coproduct Transformations on Lattices of Closed Partial Orders (GCG, JLB), pp. 336–351.
ICFPICFP-2002-LuthG #monad #using
Composing monads using coproducts (CL, NG), pp. 133–144.
LICSLICS-2001-AltenkirchDHS #evaluation #normalisation #λ-calculus
Normalization by Evaluation for Typed λ Calculus with Coproducts (TA, PD, MH, PJS), pp. 303–310.
LICSLICS-1995-DoughertyS #similarity
Equality between Functionals in the Presence of Coproducts (DJD, RS), pp. 282–291.
ßn-Equality for Coproducts (NG), pp. 171–185.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.