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:
program (3)
system (2)
deduct (1)
induct (1)
framework (1)

Stem beluga$ (all stems)

3 papers:

CADECADE-2015-PientkaC #induction #programming #proving
Inductive Beluga: Programming Proofs (BP, AC), pp. 272–281.
FLOPSFLOPS-2010-Pientka #dependent type #named #programming
Beluga: Programming with Dependent Types, Contextual Data, and Contexts (BP), pp. 1–12.
IJCARIJCAR-2010-PientkaD #deduction #framework #named #programming #reasoning
Beluga: A Framework for Programming and Reasoning with Deductive Systems (System Description) (BP, JD), pp. 15–21.
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.