|
21
|
Incremental reduction in the lambda calculus
– J Field, T Teitelbaum
- 1990
|
|
58
|
Incremental computation via function caching
– W Pugh, T Teitelbaum
- 1989
|
|
83
|
Memo functions and machine learning
– Donald Michie
- 1968
|
|
38
|
Systematic Derivation of Incremental Programs
– Yanhong A. Liu, Tim Teitelbaum
- 1995
|
|
42
|
Static Caching for Incremental Computation
– Yanhong A. Liu, Scott D. Stoller, Tim Teitelbaum
- 1998
|
|
1965
|
Dynamic Programming
– R Bellman
- 1957
|
|
7324
|
Cache-oblivious algorithms
– M FRIGO, C E LEISERSON, H PROKOP, S RAMACHANDRAN
- 1999
|
|
52
|
Adaptive Functional Programming
– Umut A. Acar , Guy E. Blelloch, Robert Harper
- 2001
|
|
201
|
A Core Calculus of Dependency
– MartÃn Abadi , Anindya Banerjee, Nevin Heintze, Jon G. Riecke
- 1999
|
|
1497
|
The Definition of Standard ML
– Robin Milner, Mads Tofte, Robert Harper
- 1990
|
|
379
|
JFlow: Practical Mostly-Static Information Flow Control
– Andrew C. Myers
- 1999
|
|
40
|
Selective Memoization
– Umut A. Acar, Guy E. Blelloch, Robert Harper
|
|
9
|
Incremental compilation via partial evaluation
– R S Sundaresh, P Hudak
- 1991
|
|
37
|
Incremental evaluation for attribute grammars with unrestricted movement between tree modifications
– T Reps
- 1986
|
|
182
|
A Basis for a Mathematical Theory of Computation
– John Mccarthy
- 1963
|
|
39
|
Caching Function Calls Using Precise Dependencies
– Allan Heydon, Roy Levin, Yuan Yu
- 2000
|
|
50
|
Lazy memo-functions
– R J M Hughes
- 1985
|
|
68
|
Some applications of Rabin's fingerprinting method
– Andrei Z. Broder
- 1993
|
|
277
|
Make - a program for maintaining computer programs
– S. I. Feldman, S. I. Feldman
- 1979
|
