I wonder if there's an equivalent "hardcore" curriculum for computer science and/or software development and programming vs a softcore "US" curriculum. Would SICP be the hardcore version vs HtDP/PAPL be the softer "US" version?