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 × Denmark
1 × United Kingdom
2 × USA
Collaborated with:
Y.Coscoy L.Théry V.Donzeau-Gouge B.Lang B.Courcelle J.Vuillemin D.Clément J.Despeyroux T.Despeyroux
Talks about:
approach (1) languag (1) extract (1) definit (1) correct (1) system (1) formal (1) applic (1) simpl (1) proof (1)

Person: Gilles Kahn

DBLP DBLP: Kahn:Gilles

Facilitated 1 volumes:

FPCA 1987Ed

Contributed to:

TLCA 19951995
LFP 19861986
SDCG 19801980
ICALP 19741974
SOSP 19711971

Wrote 5 papers:

TLCA-1995-CoscoyKT #proving
Extracting Text from Proofs (YC, GK, LT), pp. 109–123.
A Simple Applicative Language: Mini-ML (DC, JD, TD, GK), pp. 13–27.
SDCG-1980-Donzeau-GougeKL #ada #on the
On the formal definition of ADA (VDG, GK, BL), pp. 475–489.
ICALP-1974-CourcelleKV #equation #equivalence #french #recursion #reduction
Algorithmes d’equivalence et de reduction a des expressions minimales dans une classe d’equations recursives simples (BC, GK, JV), pp. 200–213.
SOSP-1971-Kahn #approach #correctness
An Approach to System Correctness (GK), pp. 86–94.

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.