|ITEM METADATA RECORD
|Title: ||Binding-time analysis by constraint solving: a modular and higher-order approach for Mercury|
|Authors: ||Vanhoof, Wim # ×|
|Issue Date: ||2000 |
|Host Document: ||Logic for Programming and Automated Reasoning, 7th International Conference, LPAR 2000, Reunion Island, France, November 2000, Proceedings vol:1955 pages:399-416|
|Conference: ||7th International Conference on Logic for Programming and Automated Reasoning location:Reunion Island date:November 6-9, 2000|
|Publication status: ||published|
|KU Leuven publication type: ||IC|
|Appears in Collections:||Informatics Section|
× corresponding author|
# (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.
© Web of science