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:
languag (2)
type (1)
domain (1)
implement (1)
interact (1)

Stem idri$ (all stems)

2 papers:

CEFPCEFP-2013-Brady #dependent type #domain-specific language #embedded #implementation #programming language
The Idris Programming Language — Implementing Embedded Domain Specific Languages with Dependent Types (EB), pp. 115–186.
CAiSECAiSE-1992-OsmonS #design #information management #interactive #named
IDRIS: Interactive Design of Reactive Information Systems (PO, PS), pp. 494–506.

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.