| langue originale | Anglais |
|---|---|
| titre | Pre-Proceedings of Tenth International Workshop on Logic-based Program Synthesis and Transformation |
| Editeur | Lau, K.-K. |
| Pages | 55-63 |
| Nombre de pages | 9 |
| Etat de la publication | Publié - 2000 |
Towards a modular binding-time analysis for higher-order Mercury.
Wim Vanhoof, Maurice Bruynooghe
Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Chapitre