|
759
|
The Art of the Metaobject Protocol
– Gregor Kiczales, Jim des Rivieres, Daniel G Bobrow
- 1991
|
|
6
|
The Bits Between The Lambdas: Binary Data in a Lazy Functional Language
– Malcolm Wallace, Colin Runciman
- 1998
|
|
7
|
Tree pattern matching for ML. unpublished paper
– M Baudinet, D MacQueen
- 1985
|
|
6
|
Native code compilation of Erlang's bit syntax
– Per Gustafsson, Konstantinos Sagonas
- 2002
|
|
2
|
Constructing optimal binary decision tress is NP-complete
– L Hyafil, R L Rivest
- 1976
|
|
7
|
When Do Match-Compilation Heuristics Matter?
– Kevin Scott, Norman Ramsey
- 2000
|
|
20
|
Adaptive Pattern Matching
– R. C. Sekar, Bellcore Rm A, R. Ramesh, I. V. Ramakrishnan
- 1992
|
|
11
|
The bit syntax — the released version
– P Nyblom
- 2000
|
|
110
|
PATHFINDER: A Pattern-Based Packet Classifier
– Mary Bailey, Burra Gopal, Larry L. Peterson, Prasenjit Sarkar
- 1994
|
|
36
|
Efficient compilation of pattern-matching
– P Wadler
- 1987
|
|
53
|
BPF+: Exploiting Global Data-flow Optimization in a Generalized Packet Filter Architecture
– Andrew Begel, Steven Mccanne, Susan L. Graham
- 1999
|
|
116
|
DPF: Fast, Flexible Message Demultiplexing using Dynamic Code Generation
– Dawson Engler, M. Frans Kaashoek
- 1996
|
|
17
|
Packet types: Abstract specification of network protocol messages
– P J McCann, S Chandra
|
|
74
|
Compiling pattern-matching
– Lennart Augustsson
- 1985
|
|
195
|
Type-directed partial evaluation
– Olivier Danvy
- 1996
|
|
6
|
On the implementation of construction functions for non-free concrete data types
– Frédéric Blanqui, Thérèse Hardin, Pierre Weis
|
|
32
|
Normalization by evaluation for typed lambda calculus with coproducts
– T. Altenkirch, P. Dybjer
- 2001
|
|
9
|
Normalisation by Evaluation in the Compilation of Typed Functional Programming Languages
– Sam Lindley
- 2005
|
|
4
|
H.: Normalization by evaluation. Prospects for Hardware Foundations
– U Berger, M Eberl, Schwichtenberg
- 1998
|
