| Original language | English |
|---|---|
| Article number | 100744 |
| Number of pages | 8 |
| Journal | Journal of Logical and Algebraic Methods in Programming |
| Volume | 125 |
| Early online date | 23 Dec 2021 |
| DOIs | |
| Publication status | Published - Feb 2022 |
CONCUR test-of-time award for the period 1994–97 interview with Uwe Nestmann and Benjamin C. Pierce.
Adam D. Barwell, Francisco Ferreira, Nobuko Yoshida
Research output: Contribution to journal › Book/Film/Article review