Title: Binding-time analysis by constraint solving: a modular and higher-order approach for Mercury
Authors: Vanhoof, Wim # ×
Issue Date: 2000
Publisher: Springer
Series Title: Lecture Notes in Computer Science vol:1955 pages:399-416
Conference: 7th International Conference on Logic for Programming and Automated Reasoning location:Reunion Island date:November 6-9, 2000
ISSN: 0302-9743
Publication status: published
KU Leuven publication type: IT
Appears in Collections:Informatics Section
× corresponding author
# (joint) last author

Files in This Item:
File Status SizeFormat
32354.pdf Published 263KbAdobe PDFView/Open


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

© Web of science