BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Collaborated with:
T.Terauchi N.K.0001 R.Sato H.U.0001
Talks about:
function (1) program (1) tempor (1) higher (1) verif (1) order (1)

Person: Akihiro Murase

DBLP DBLP: Murase:Akihiro

Contributed to:

POPL 20162016

Wrote 1 papers:

POPL-2016-MuraseT0SU #functional #higher-order #source code #verification
Temporal verification of higher-order functional programs (AM, TT, NK0, RS, HU0), pp. 57–68.
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.