H. Baker

发表

CLOStrophobia: its etiology and treatment

Henry G. Baker, H. Baker, 1991, OOPS.

The Nimble Type Inferencer for Common Lisp-84

H. Baker, 1990 .

NREVERSAL of Fortune - The Thermodynamics of Garbage Collection

Henry G. Baker, H. Baker, 1992, IWMM.

Laws for Communicating Parallel Processes

Carl Hewitt, Henry G. Baker, C. Hewitt, 1977, IFIP Congress.

The treadmill: real-time garbage collection without motion sickness

Henry G. Baker, H. Baker, 1992, SIGP.

Infant mortality and generational garbage collection

Henry G. Baker, H. Baker, 1993, SIGP.

Nimble Computer Corporation 1 CLOStrophobia 1 : Its Etiology and Treatment

H. Baker, 2007 .

Fully Persistent Arrays for Efficient Incremental Updates and Voluminous Reads

D. Sleator, James R. Driscoll, H. Baker, 1992 .

META Parsing of Common Lisp Streams

H. Baker, 2007 .

Equal rights for functional objects or, the more things change, the more they are the same

Henry G. Baker, H. Baker, 1993, OOPS.

Shallow binding in Lisp 1.5

Henry G. Baker, H. Baker, 1978, CACM.

List processing in real time on a serial computer

Henry G. Baker, H. Baker, 1978, CACM.

Less complex elementary functions

Henry G. Baker, H. Baker, 1992, SIGP.

Thermodynamics and garbage collection

Henry G. Baker, H. Baker, 1994, SIGP.

Precise instruction scheduling without a precise machine model

Henry G. Baker, H. Baker, 1991, CARN.

Complex Gaussian integers for “Gaussian graphics”

Henry G. Baker, H. Baker, 1993, SIGP.

Actors and Continuous Functionals

Henry G. Baker, Carl E. Hewitt, C. Hewitt, 1978, Formal Description of Programming Concepts.

Critique of DIN Kernel Lisp definition version 1.2

Henry G. Baker, H. Baker, 1992, LISP Symb. Comput..

CONS should not CONS its arguments, part II: Cheney on the M.T.A.

Henry G. Baker, H. Baker, 1995, SIGP.

Lively linear Lisp: “look ma, no garbage!”

Henry G. Baker, H. Baker, 1992, SIGP.

Unify and conquer

Henry G. Baker, H. Baker, 1990, LISP and Functional Programming.

Computing A*B (mod N) efficiently in ANSI C

Henry G. Baker, H. Baker, 1992, SIGP.

Minimizing reference count updating with deferred and anchored pointers for functional data structures

Henry G. Baker, H. Baker, 1994, SIGP.

Linear logic and permutation stacks—the Forth shall be first

Henry G. Baker, H. Baker, 1994, CARN.

The Boyer benchmark meets linear logic

Henry G. Baker, H. Baker, 1993, LIPO.

Iterators: signs of weakness in object-oriented languages

Henry G. Baker, H. Baker, 1993, OOPS.

Inlining semantics for subroutines which are recursive

Henry G. Baker, H. Baker, 1992, SIGP.

Metacircular semantics for common Lisp special forms

Henry G. Baker, H. Baker, 1992, LIPO.

A decision procedure for common Lisp'sSUBTYPEP predicate

Henry G. Baker, H. Baker, 1992, LISP Symb. Comput..

A tachy “TAK”

Henry G. Baker, H. Baker, 1992 .

The Boyer Benchmark at warp speed

Henry G. Baker, H. Baker, 1992 .

Speeding up the “Puzzle” Benchmark a “bit”

Henry G. Baker, H. Baker, 1992 .

The Gabriel “Triangle” Benchmark at warp speed

Henry G. Baker, H. Baker, 1992 .

Structured programming with limited private types in Ada: nesting if for the soaring eagles

Henry G. Baker, H. Baker, 1991, ALET.

Shallow binding makes functional arrays fast

Henry G. Baker, H. Baker, 1991, SIGP.

CONS should not CONS its arguments, or, a lazy alloc is a smart alloc

Henry G. Baker, H. Baker, 1992, SIGP.

Cache-Conscious Copying Collectors

Henry G. Baker, H. Baker, 2006 .

Pragmatic parsing in Common Lisp; or, putting defmacro on steroids

Henry G. Baker, H. Baker, 1991, LIPO.

Fully Persistent Arrays for Efficient Incremental Updates and Voluminous Reads

D. Sleator, James R. Driscoll, H. Baker, 1992 .

Object-oriented programming in Ada83—genericity rehabilitated

Henry G. Baker, H. Baker, 1991, ALET.

ACTOR SYSTEMS FOR REAL-TIME COMPUTATION

H. G. Baker, H. Baker, 1978 .

“Use-once” variables and linear objects: storage management, reflection and multi-threading

Henry G. Baker, H. Baker, 1995, SIGP.