(module info (lib "infotab.ss" "setup") (define name "A Calculus of Closures in PLT Redex") (define doc.txt "doc.txt") (define blurb (list '(div "An aplicative order reduction semantics for the lambda-rho-hat calculus of closures."))) (define required-core-version "301.3") (define categories '(misc)))