BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Japan
1 × Spain
Collaborated with:
T.Coquand R.Pollack
Talks about:
framework (1) program (1) record (1) depend (1) logic (1) assur (1) type (1) case (1) agda (1)

Person: Makoto Takeyama

DBLP DBLP: Takeyama:Makoto

Contributed to:

ICFP 20112011
TLCA 20032003

Wrote 2 papers:

ICFP-2011-Takeyama #assurance #programming
Programming assurance cases in Agda (MT), p. 142.
TLCA-2003-CoquandPT #framework #logic
A Logical Framework with Dependently Typed Records (TC, RP, MT), pp. 105–119.

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.