"A Modified GoI Interpretation for a Linear Functional Programming Language ..."

Naohiko Hoshino (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics