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