-
1
-
2
-
3
-
4
-
5
-
6
-
7
Measuring the Propagation of Information in Partial Evaluation
Veröffentlicht in BRICS Report Series
VolltextArtikel -
8
-
9
-
10
-
11
-
12
On Obtaining the Boyer-Moore String-Matching Algorithm by Partial Evaluation
Veröffentlicht in BRICS Report Series
VolltextArtikel -
13
-
14
On Obtaining the Boyer-Moore String-Matching Algorithm by Partial Evaluation
Veröffentlicht in BRICS Report Series
VolltextArtikel -
15
-
16
Denotational Aspects of Untyped Normalization by Evaluation
Veröffentlicht in BRICS Report Series
VolltextArtikel -
17
-
18
A Denotational Account of Untyped Normalization by Evaluation
Veröffentlicht in BRICS Report Series
VolltextArtikel -
19
-
20