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
Travelled to:
1 × France
1 × United Kingdom
2 × USA
Collaborated with:
∅ F.Pfenning C.Schürmann A.P.Felty A.Hirschowitz D.Clément T.Despeyroux G.Kahn
Talks about:
abstract (2) syntax (2) higher (2) order (2) translat (1) languag (1) semant (1) recurs (1) primit (1) applic (1)

Person: Joëlle Despeyroux

DBLP DBLP: Despeyroux:Jo=euml=lle

Contributed to:

TLCA 19971997
TLCA 19951995
LFP 19861986
LICS 19861986

Wrote 4 papers:

TLCA-1997-DespeyrouxPS #higher-order #recursion #syntax
Primitive Recursion for Higher-Order Abstract Syntax (JD, FP, CS), pp. 147–163.
TLCA-1995-DespeyrouxFH #coq #higher-order #syntax
Higher-Order Abstract Syntax in Coq (JD, APF, AH), pp. 124–138.
LFP-1986-ClementDDK
A Simple Applicative Language: Mini-ML (DC, JD, TD, GK), pp. 13–27.
LICS-1986-Despeyroux #proving #semantics
Proof of Translation in Natural Semantics (JD), pp. 193–205.
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.