Safely extending procedure types to allow nested procedures as values - Heinlein, Christian (Universität Ulm, 2005)
application/pdf