Grobauer, Bernd
-
BRICS Report Series No. 40 (1999): RS-40 The Second Futamura Projection for Type-Directed Partial Evaluation - Articles
The Second Futamura Projection for Type-Directed Partial Evaluation
Abstract PDF -
BRICS Report Series No. 31 (2000): RS-31 Partial Evaluation of Pattern Matching in Strings, revisited - Articles
Partial Evaluation of Pattern Matching in Strings, revisited
Abstract PDF -
BRICS Report Series No. 44 (2000): RS-44 The Second Futamura Projection for Type-Directed Partial Evaluation - Articles
The Second Futamura Projection for Type-Directed Partial Evaluation
Abstract PDF -
BRICS Report Series No. 25 (2001): RS-25 Cost Recurrences for DML Programs - Articles
Cost Recurrences for DML Programs
Abstract PDF -
BRICS Report Series No. 29 (2001): RS-29 A Unifying Approach to Goal-Directed Evaluation - Articles
A Unifying Approach to Goal-Directed Evaluation
Abstract PDF
