Equational Reasoning for Linking with First-Class Primitive Modules

Joseph Brian Wells, Rene Vestergaard

Research output: Contribution to conferencePaperpeer-review

32 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