Programming Languages: Implementations, Logics, and Programs, 9th International Symposium, PLILP'97, Including a Special Trach on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997, Proceedings

Hugh Glaser Pieter H. Hartel Herbert Kuchen Programming Languages: Implementations, Logics, and Programs, 9th International Symposium, PLILP'97, Including a Special Trach on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997, Proceedings PLILP Lecture Notes in Computer Science 1292 Springer 1997 3-540-63398-7 db/conf/plilp/plilp97.html