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