Tom Schouten on Twitter: ".@silentbicycle @sammikes Special about CTMCP is the focus on unification instead of lambda calculus / FP. Took me out of a "lambda rut"." / Twitter

Mar 7, 2015

does anyone have programming/CS paper suggestions that are a) very clearly written b) very very very clearly written c) taught you a thing

55

39

135

Replying to

I don't know what the state of the art is there - I learned about BDDs before SAT. (Didn't do any CS in college.)

1

Replying to

I am not going to catch up for a month <3

1

2

Replying to

recommending relevant reading is my favorite thing ever :)

1

2

This Tweet is from a suspended account. Learn more

Replying to

I think my "language design" recommendations boil down to "play around with a Lisp and an ML a lot"

1

Replying to

but, in particular, Essentials of Programming Languages will have you build up a variety of interpreters

1

Replying to

.

Concepts, Techniques, and Models of Computer Programming mitpress.mit.edu/books/concepts for links between paradigms.

1

2

5

Replying to

.

Special about CTMCP is the focus on unification instead of lambda calculus / FP. Took me out of a "lambda rut".

9:38 PM · Mar 7, 2015Twitter Web Client

Replying to

A great book, and has good intros to Prolog and constraint programming, too.

Conversation