Michael Codish
Senior Academic
Deriving Polymorphic Type Dependencies for Logic Programs using Multiple Incarnations of Prop
| Publication language | English |
| Pages | 327-341 |
| Volume | 1 |
| Publication status | Published - 1994 |
