A Modified GoI Interpretation for a Linear Functional Programming Language and Its Adequacy.

Naohiko Hoshino

Browse the full FOSSACS paper archive.