Equational Reasoning for Linking with First-Class Primitive Modules

Joseph Brian Wells, Rene Vestergaard

Research output: Contribution to conferencePaper

30 Citations (Scopus)
Original languageEnglish
Pages412-428
Number of pages17
Publication statusPublished - Mar 2000
EventProc. European Symp. on Programming -
Duration: 1 Mar 2000 → …

Conference

ConferenceProc. European Symp. on Programming
Abbreviated titleESOP '00
Period1/03/00 → …

Cite this

Wells, J. B., & Vestergaard, R. (2000). Equational Reasoning for Linking with First-Class Primitive Modules. 412-428. Paper presented at Proc. European Symp. on Programming, .