Binding-Time analysis by constraint solving a modular and Higher-Order approach for mercury

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Fingerprint

Dive into the research topics of 'Binding-Time analysis by constraint solving a modular and Higher-Order approach for mercury'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science