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:
type (4)
depend (3)
program (3)
assur (1)
argument (1)

Stem agda$ (all stems)

7 papers:

PADLPADL-2013-Jeffrey #html #web
Dependently Typed Web Client Applications — FRP in Agda in HTML5 (AJ), pp. 228–243.
ICFPICFP-2012-McBride #dependent type #programming
Agda-curious?: an exploration of programming with dependent types (CTM), pp. 1–2.
Agda Meets Accelerate (PT, MMTC), pp. 174–189.
IFLIFL-2012-WaltS #proving
Engineering Proof by Reflection in Agda (PvdW, WS), pp. 157–173.
ICFPICFP-2011-DevrieseP #on the
On the bright side of type classes: instance arguments in Agda (DD, FP), pp. 143–155.
ICFPICFP-2011-Takeyama #assurance #programming
Programming assurance cases in Agda (MT), p. 142.
AFPAFP-2008-Norell08 #programming
Dependently Typed Programming in Agda (UN), pp. 230–266.

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.