Equational Reasoning for Linking with First-Class Primitive Modules

Research output: Contribution to conference › Paper › peer-review

Original language	English
Pages	412-428
Number of pages	17
Publication status	Published - Mar 2000
Event	Proc. European Symp. on Programming - Duration: 1 Mar 2000 → …

Conference	Proc. European Symp. on Programming
Abbreviated title	ESOP '00
Period	1/03/00 → …

Cite this