spivey

For what it's worth, the Spivey Building is almost 100 years old and it's been abandoned since the '50s.

Junior Arithmancer by Mike Spivey is fun, but not as narratively rich as Emily Short's work.

Incidentally, on Mac, VoiceOver's terminal support is crappy enough that my friend Tyler Spivey wrote his own screen reader for the terminal environment, called tdsr [1].

I think the Spivey Building could use a new tenant...

As one anecdote, Tyler Spivey was so dissatisfied with the way VoiceOver worked with the terminal that he wrote his own terminal screen reader [1] for the times he had to work in that environment.

Independent of Moggi, but at about the same time, Michael Spivey proposed that monads provide a useful structuring tool for exception handling in pure functional languages, and demonstrated this thesis with an elegant program for term rewriting [...].

One free book that I like is "The Z Notation: A Reference Manual" by Spivey.

Yeah, the candidates are not all alike, even though Barsalou cites Spivey, who is really in the analogue camp.

Algebraic effects builds on theoretical work by Wadler, Spivey, and Moggi on monadic computation, not on Lisp.

See for example JAS Scott Kelso's Dynamic Patterns or Spivey's Continuity of Mind or the newish field of Radical Embodied Cognition.