Towards a modular binding-time analysis for higher-order Mercury.

Wim Vanhoof, Maurice Bruynooghe

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Chapter

Original language	English
Title of host publication	Pre-Proceedings of Tenth International Workshop on Logic-based Program Synthesis and Transformation
Publisher	Lau, K.-K.
Pages	55-63
Number of pages	9
Publication status	Published - 2000

Cite this

@inbook{77cd3252cffa4e2794c2c1dd695fac34,

title = "Towards a modular binding-time analysis for higher-order Mercury.",

author = "Wim Vanhoof and Maurice Bruynooghe",

year = "2000",

language = "English",

pages = "55--63",

booktitle = "Pre-Proceedings of Tenth International Workshop on Logic-based Program Synthesis and Transformation",

publisher = "Lau, K.-K.",

}