Title: Deriving polymorphic type dependencies for logic programs using multiple incarnations of prop
Authors: Codish, Michael
Demoen, Bart #
Issue Date: 1994
Host Document: Declaritive Programming pages:327-341
Conference: Declaritive Programming
Publication status: published
KU Leuven publication type: IC
Appears in Collections:Informatics Section
# (joint) last author

Files in This Item:

There are no files associated with this item.

Request a copy


All items in Lirias are protected by copyright, with all rights reserved.