Henry Baker

Q: What Schools Are Affiliated With Henry Baker

Henry Baker is affiliated with the following schools: Massachusetts Institute of Technology, University of Rochester

Henry Baker 's AcademicInfluence.com Rankings

Henry Baker

Computer Science

#461

World Rank

#479

Historical Rank

#258

USA Rank

Programming

#21

World Rank

#22

Historical Rank

#13

USA Rank

Software Engineering

#285

World Rank

#291

Historical Rank

#79

USA Rank

Database

#3826

World Rank

#3981

Historical Rank

#660

USA Rank

computer-science Degrees

Download Badge

Computer Science

Why Is Henry Baker Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Henry Givens Baker Jr. is an American computer scientist who has made contributions in garbage collection, functional programming languages, and linear logic. He was one of the founders of Symbolics, a company that designed and manufactured a line of Lisp machines. In 2006 he was recognized as a Distinguished Scientist by the Association for Computing Machinery.

(See a Problem?)

Henry Baker 's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

List processing in real time on a serial computer (1978) (313)
Laws for Communicating Parallel Processes (1977) (228)
The treadmill: real-time garbage collection without motion sickness (1992) (164)
Actors and Continuous Functionals (1978) (124)
“Use-once” variables and linear objects: storage management, reflection and multi-threading (1995) (87)
Lively linear Lisp: “look ma, no garbage!” (1992) (82)
Shallow binding in Lisp 1.5 (1978) (75)
NREVERSAL of Fortune - The Thermodynamics of Garbage Collection (1992) (57)
Equal rights for functional objects or, the more things change, the more they are the same (1993) (55)
Infant mortality and generational garbage collection (1993) (53)
CONS should not CONS its arguments, part II: Cheney on the M.T.A. (1995) (51)
ACTOR SYSTEMS FOR REAL-TIME COMPUTATION (1978) (46)
Unify and conquer (1990) (43)
Minimizing reference count updating with deferred and anchored pointers for functional data structures (1994) (33)
Shallow binding makes functional arrays fast (1991) (27)
CONS should not CONS its arguments, or, a lazy alloc is a smart alloc (1992) (26)
Iterators: signs of weakness in object-oriented languages (1993) (19)
A decision procedure for common Lisp'sSUBTYPEP predicate (1992) (19)
Structured programming with limited private types in Ada: nesting if for the soaring eagles (1991) (15)
Linear logic and permutation stacks—the Forth shall be first (1994) (15)
A “linear logic” Quicksort (1994) (15)
CLOStrophobia: its etiology and treatment (1991) (15)
The Nimble Type Inferencer for Common Lisp-84 (1990) (15)
Precise instruction scheduling without a precise machine model (1991) (11)
Thermodynamics and garbage collection (1994) (10)
Fully Persistent Arrays for Efficient Incremental Updates and Voluminous Reads (1992) (10)
Inlining semantics for subroutines which are recursive (1992) (10)
The Boyer Benchmark at warp speed (1992) (9)
Object-oriented programming in Ada83—genericity rehabilitated (1991) (9)
The Boyer benchmark meets linear logic (1993) (8)
Pragmatic parsing in Common Lisp; or, putting defmacro on steroids (1991) (8)
High level language programs run ten times faster in microstore (1980) (7)
Safe and leakproof resource management using Ada83 limited types (1993) (6)
Efficient implementation of bit-vector operation in Common Lisp (1990) (6)
Critique of DIN Kernel Lisp definition version 1.2 (1992) (6)
The buried binding and dead binding problems of Lisp 1.5: sources of incomparability in garbage collector measurements (1992) (5)
Computing A*B (mod N) efficiently in ANSI C (1992) (5)
Metacircular semantics for common Lisp special forms (1992) (5)
Complex Gaussian integers for “Gaussian graphics” (1993) (4)
Sparse polynomials and linear logic (1993) (4)
How to steal from a limited private account: why mode IN OUT parameters for limited types must be passed by reference (1993) (4)
COMFY—comfortable set of control primitives for machine language programming (1997) (3)
Less complex elementary functions (1992) (3)
The Gabriel “Triangle” Benchmark at warp speed (1992) (3)
A tachy “TAK” (1992) (3)
A source of redundant identifiers in PASCAL programs (1980) (3)
Strategies for the lossless encoding of strings as Ada identifiers (1993) (2)
A Note on the Optimal Allocation of Spaces in MACLISP (1977) (2)
Corrigenda: intersection algorithms for lines and circles (1994) (2)
On the permutations of a vector obtainable through the restructure and transpose functions of APL (1992) (1)
When bad programs happen to good people (1997) (1)
Proceedings of the International Workshop on Memory Management (1995) (1)
Worlds in Collision: A Mostly Functional Model of Concurrency Control and Recovery (1990) (1)
Speeding up the “Puzzle” Benchmark a “bit” (1992) (1)
The Efficient Implementation of Common Lisp's SEARCH Function on Bit-vectors (1989) (1)
March Möbius madness with a polynomial PostScript March 32, 1998 (1998) (1)
Cache-Conscious Copying Collectors (2006) (1)
I have a feeling we're not in emerald city anymore (1997) (1)
The COMFY 6502 compiler (1997) (0)
Object-oriented programming in Ada83 and Ada9X (abstract) (1992) (0)
Memory Management: International Workshop IWMM 95, Kinross, UK, September 27 - 29, 1995. Proceedings (1995) (0)
Object-Oriented Programming in Ada83 and Ada9X (1992) (0)
Ada9X Issues for AI Systems (1992) (0)
Garbage In / Garbage Out The COMFY 6502 Compiler (2008) (0)
You could learn a lot from a quadratic: overloading considered harmful (1998) (0)
You could learn a lot from a quadratic: II: digital dentistry (1998) (0)
Nimble Computer Corporation 1 CLOStrophobia 1 : Its Etiology and Treatment (2007) (0)
META Parsing of Common Lisp Streams (2007) (0)
You could learn a lot from a quadratic: Newton squares the circle (1998) (0)

This paper list is powered by the following services:

Other Resources About Henry Baker

en.wikipedia.org

What Schools Are Affiliated With Henry Baker ?

Henry Baker is affiliated with the following schools:

Henry Baker 's Academic­Influence.com Rankings

Why Is Henry Baker Influential?

Henry Baker 's Published Works

Published Works

Other Resources About Henry Baker

What Schools Are Affiliated With Henry Baker ?

Henry Baker 's AcademicInfluence.com Rankings