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:
A.P.0001
Talks about:
hol (3) isabell (2) comprehend (1) definit (1) consist (1) conserv (1) safeti (1)

Person: Ondrej Kuncar

DBLP DBLP: Kuncar:Ondrej

Contributed to:

ESOP 20172017
POPL 20182018

Wrote 2 papers:

ESOP-2017-Kuncar0 #consistency #higher-order
Comprehending Isabelle/HOL's Consistency (OK, AP0), pp. 724–749.
POPL-2018-Kuncar0 #higher-order #safety
Safety and conservativity of definitions in HOL and Isabelle/HOL (OK, AP0), p. 26.

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.