Forgot your password?
Daniel P. Friedman, Carl Eastlund, Duane Bibby, J. Strother Moore, Matthias Felleisen: Little Prover (2015, MIT Press)
by Daniel P. Friedman, Carl Eastlund, Duane Bibby, and 2 others
Daniel P. Friedman, Matthias Felleisen: Little Schemer (1995, MIT Press)
by Daniel P. Friedman, Matthias Felleisen
by Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, and 1 other
Successfully posted status
Error posting status
