editor : Doaitse Swierstra
2
edited volumes
Programming Languages: Implementations, Logics, and Programs (PLILP’96) — Herbert Kuchen, S. Doaitse Swierstra Programming Languages: Implementations, Logics and Programs (PLILP’95) — Manuel Hermenegildo, S. Doaitse Swierstra