The aim of this project is to show that WebPPL, despite its design as a functional probabilistic DSL, is universal and expressive enough to support essential computer science tasks.
The following pages contain selected sections of the basic textbook Structure and Interpretation of Computer Programs (SICP) by Harold Abelson and Gerald Sussman with Julie Sussman, translated into the probabilistic functional programming language WebPPL. We were encouraged by a project of Martin Henz. In this project, SICP code  was translated from SCHEME into unrestricted JavaScript. We do similar things. Our target language is WebPPL, which is much more restricted in its scope. We try to maintain the elegance and eloquence of the original SICP as much as possible. We have omitted any explanatory text. We recommend to consult the original texts of the SICP (here) or of Henz (here).

Reference

Abelson, H., Sussman, G.J., & Sussman, J., Structure and Interpretation of Computer Programs, Cambridge, Mass., The MIT Press, 1996, 2/e, ISBN 0-262-01153-0