`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: Vestergaard:Ren=eacute=

### Contributed to:

### 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.