"A Categorical and Graphical Treatment of Closure Conversion."

Ralf Schweimeier, Alan Jeffrey (1999)

Details and statistics

DOI: 10.1016/S1571-0661(04)80090-2

access: open

type: Conference or Workshop Paper

metadata version: 2021-02-08

a service of  Schloss Dagstuhl - Leibniz Center for Informatics