Richard Samuels

scheme Compiles a tiny subset of Scheme to TALx 86 . Written in Popcorn . Table 1 : Components of the TALx 86 implementation 3 Popcorn

D. Grossman, Greg Morrisett Karl Crary, Neal Glew, 2007 .

Hale’s argument from transitive counting

Eric Snyder, Stewart Shaprio, Richard Samuels, 2019, Synthese.

Resolving Frege’s Other Puzzle

S. Shapiro, Eric Snyder, Richard Samuels, 2022 .

TALx86: A Realistic Typed Assembly Language∗

Dan Grossman, David Walker, Stephanie Weirich, 1999 .

Computability, Notation, and de re Knowledge of Numbers

S. Shapiro, Eric Snyder, Richard Samuels, 2022, Philosophies.

Number Concepts

Eric Snyder, Richard Samuels, 2024 .