3 ms·
A bunch of research papers related to compiling Prolog / logic programming idioms, pattern-matching hueristics, implementing constraint systems, etc. via CiteSe
by silentbicycle 16y ago
A bunch of research papers related to compiling Prolog / logic programming idioms, pattern-matching hueristics, implementing constraint systems, etc. via CiteSeerX (http://citeseerx.ist.psu.edu/ http://citeseerx.ist.psu.edu/). Also, APL-related stuff.
Nisan and Schocken's _The Elements of Computing Systems_ (http://www1.idc.ac.il/tecs/ http://www1.idc.ac.il/tecs/), which is about how the whole modern computing stack works, from NAND gates on up.
Jon Bentley's _More Programming Pearls_. Again.