editor : Pieter Hartel
1
edited volume
Programming Languages: Implementations, Logics, and Programs (PLILP’97) — Hugh Glaser, Pieter Hartel, Herbert Kuchen Programming Languages: Implementations, Logics, and Programs (PLILP’97) — Hugh Glaser, Pieter Hartel, Herbert Kuchen