BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
guard (2)
product (2)
recurs (2)
theori (1)
type (1)

Stem coprogram$ (all stems)

2 papers:

LICSLICS-CSL-2014-Mogelberg #effectiveness #recursion #type system
A type theory for productive coprogramming via guarded recursion (REM), p. 10.
ICFPICFP-2013-AtkeyM #effectiveness #recursion
Productive coprogramming with guarded recursion (RA, CM), pp. 197–208.

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.