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:
2001
2000
1996Wrote 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.