HtDP is the textbook for the curriculum approach described in the paper. It's supported by the student-oriented DrRacket IDE (which is included with a normal Racket install): https://www.racket-lang.org/
Besides HtDP as an intro course for undergraduate CS majors, they also have an interest in teaching program design as a part of basic literacy, including to younger students.
HtDP is the textbook for the curriculum approach described in the paper. It's supported by the student-oriented DrRacket IDE (which is included with a normal Racket install): https://www.racket-lang.org/
Besides HtDP as an intro course for undergraduate CS majors, they also have an interest in teaching program design as a part of basic literacy, including to younger students.
In addition to HtDP, a lot of Racketeers also value the relatively intimidating SICP, and DrRacket supports SICP as well: https://docs.racket-lang.org/sicp-manual/Installation.html