The lambda-gamma calculus: A language adequate for defining recursive functions
- P.C. Gilmore
- 1970
- Information Sciences
Paper
Publications
24880 results for Exploratory Science
Is automatic “folding” of programs efficient enough to displace manual?
- D. Sayre
- 1969
- CACM
PaperPhotoemission studies of d-band structure in Sc, Y, Gd, Ti, Zr, Hf, V, Nb, Cr and Mo
- D.E. Eastman
- 1969
- Solid State Communications
PaperA case study in programming for parallel-processors
- Jack L. Rosenfeld
- 1969
- CACM
PaperExact solution of the Boltzmann equation in the relaxation approximation, existence of negative differential conductivity for certain types of energy bands and its implication for the fluctuation spectrum and the noise temperature
- Werner A. Schlup
- 1969
- Physik der Kondensierten Materie
PaperA modular computer sharing systems
- Herbert B. Baskin
- Elsa B. Horowitz
- et al.
- 1969
- CACM
PaperRetrieval times for a packed direct access inverted file
- A.J. Bayes
- 1969
- CACM
PaperA base for a mobile programming system
- Richard J. Orgass
- William M. Waite
- 1969
- CACM
PaperThe computation of connected regions in interactive graphics
- Janice R. Lourie
- 1969
- ACM Annual Conference 1969
Conference paperReliability modeling techniques for self-repairing computer systems
- W.G. Bouricius
- W.C. Carter
- et al.
- 1969
- ACM Annual Conference 1969
Conference paper