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:
structur (1)
transform (1)
categor (1)
type (1)
string (1)

Stem functori$ (all stems)

5 papers:

GT-VMTGT-VMT-2011-DuvalEP #category theory #graph transformation #term rewriting
Categorical Abstract Rewriting Systems and Functoriality of Graph Transformation (DD, RE, FP).
CSLCSL-2006-Mellies #diagrams #string
Functorial Boxes in String Diagrams (PAM), pp. 1–30.
TLCATLCA-2001-Jay #calculus #data type
Distinguishing Data Structures and Functions: The Constructor Calculus and Functorial Types (CBJ), pp. 217–239.
PPDPPLILP-1996-BelleJM #ml
Functorial ML (GB, CBJ, EM), pp. 32–46.
LICSLICS-1992-FreydRR #parametricity
Functorial Parametricity (PJF, EPR, GR), pp. 444–452.

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.