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 × The Netherlands
2 × Germany
Collaborated with:
J.Brotherston J.B.Wells O.Danvy
Talks about:
first (2) confluenc (1) formalis (1) calculus (1) variabl (1) partial (1) semant (1) reason (1) primit (1) direct (1)

Person: René Vestergaard

DBLP DBLP: Vestergaard:Ren=eacute=

Contributed to:

RTA 20012001
ESOP 20002000
PLILP 19961996

Wrote 3 papers:

RTA-2001-VestergaardB #confluence #first-order #proving #using #λ-calculus
A Formalised First-Order Confluence Proof for the λ-Calculus Using One-Sorted Variable Names (RV, JB), pp. 306–321.
ESOP-2000-WellsV #equation #reasoning
Equational Reasoning for Linking with First-Class Primitive Modules (JBW, RV), pp. 412–428.
PLILP-1996-DanvyV #case study #compilation #partial evaluation #semantics
Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation (OD, RV), pp. 182–197.

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.