eopl

Teaching language for _Essentials of Programming Languages_

Build status:

Authors
Documentation
Tags
Last updatedTuesday, August 15th, 2017 4:52:34pm (UTC)
Ring0
ConflictsNone
Dependencies
Most recent build results
    Version Exceptions
    VersionSourceChecksum
    defaultgit://github.com/racket/eoplfc2d1adf5d27f2ebb4bc77e0ff525325647da593
    Last checkedWednesday, January 23rd, 2019 2:41:21am (UTC)
    Last editedMonday, December 1st, 2014 3:31:09pm (UTC)
    Date addedN/A
    Modules
    • eopl/tests/chapter7/inferred/lang.rkt
    • eopl/tests/chapter5/exceptions/interp.rkt
    • eopl/tests/chapter8/full-system/environments.rkt
    • eopl/tests/chapter8/simplemodules/subtyping.rkt
    • eopl/tests/private/utils.rkt
    • eopl/tests/chapter5/letrec-lang/data-structures.rkt
    • eopl/tests/chapter3/let-lang/environments.rkt
    • eopl/tests/chapter1/inductive.rkt
    • eopl/tests/chapter4/explicit-refs/data-structures.rkt
    • eopl/tests/chapter4/implicit-refs/tests.rkt
    • eopl/tests/chapter3/letrec-lang/interp.rkt
    • eopl/tests/chapter8/full-system/expand-type.rkt
    • eopl/tests/chapter6/cps-lang/interp.rkt
    • eopl/tests/chapter4/call-by-need/interp.rkt
    • eopl/tests/chapter8/simplemodules/data-structures.rkt
    • eopl/tests/chapter4/call-by-need/pairvals.rkt
    • eopl/tests/chapter2/sec2.2-proc-rep.rkt
    • eopl/tests/chapter8/full-system/data-structures.rkt
    • eopl/tests/chapter4/call-by-need/data-structures.rkt
    • eopl/tests/chapter3/lexaddr-lang/interp.rkt
    • eopl/tests/chapter5/exceptions/environments.rkt
    • eopl/tests/chapter4/mutable-pairs/data-structures.rkt
    • eopl/tests/chapter7/inferred/data-structures.rkt
    • eopl/tests/chapter8/full-system/renaming.rkt
    • eopl/tests/chapter5/letrec-lang/tests.rkt
    • eopl/tests/chapter4/call-by-need/environments.rkt
    • eopl/tests/chapter5/letrec-lang/environments.rkt
    • eopl/tests/chapter8/abstract-types-lang/tests-book.rkt
    • eopl/tests/chapter7/inferred/inferrer.rkt
    • eopl/tests/chapter5/letrec-lang/lang.rkt
    • eopl/tests/chapter4/mutable-pairs/lang.rkt
    • eopl/tests/chapter4/call-by-reference/interp.rkt
    • eopl/tests/chapter9/typed-oo/data-structures.rkt
    • eopl/tests/chapter4/mutable-pairs/pairval2.rkt
    • eopl/tests/chapter2/sec2.4.rkt
    • eopl/tests/chapter5/letrec-lang/interp.rkt
    • eopl/tests/chapter3/proc-lang/ds-rep/data-structures.rkt
    • eopl/tests/chapter5/thread-lang/scheduler.rkt
    • eopl/tests/chapter4/call-by-need/pairval1.rkt
    • eopl/private/sllboth.rkt
    • eopl/tests/chapter9/typed-oo/interp.rkt
    • eopl/tests/chapter9/classes/store.rkt
    • eopl/private/sllgen.rkt
    • eopl/tests/chapter8/abstract-types-lang/test-suite.rkt
    • eopl/tests/chapter5/thread-lang/lang.rkt
    • eopl/tests/chapter9/typed-oo/environments.rkt
    • eopl/tests/chapter6/cps-side-effects-lang/data-structures.rkt
    • eopl/tests/chapter6/cps-side-effects-lang/cps.rkt
    • eopl/tests/chapter5/exceptions/tests.rkt
    • eopl/tests/chapter3/proc-lang/ds-rep/interp.rkt
    • eopl/tests/chapter2/sec2.3.rkt
    • eopl/tests/chapter6/cps-lang/data-structures.rkt
    • eopl/tests/chapter3/proc-lang/ds-rep/environments.rkt
    • eopl/tests/sllgen/sllgenTests.rkt
    • eopl/tests/chapter6/cps-lang/cps-in-lang.rkt
    • eopl/tests/chapter9/typed-oo/tests.rkt
    • eopl/tests/chapter7/checked/checker.rkt
    • eopl/tests/chapter9/typed-oo/static-data-structures.rkt
    • eopl/tests/chapter9/typed-oo/static-classes.rkt
    • eopl/tests/chapter4/implicit-refs/environments.rkt
    • eopl/tests/chapter8/simplemodules/static-data-structures.rkt
    • eopl/tests/chapter9/classes/tests.rkt
    • eopl/tests/chapter3/lexaddr-lang/data-structures.rkt
    • eopl/tests/chapter7/inferred/equal-up-to-gensyms.rkt
    • eopl/tests/chapter7/inferred/tests.rkt
    • eopl/tests/chapter4/implicit-refs/interp.rkt
    • eopl/tests/chapter9/classes/classes.rkt
    • eopl/tests/chapter6/cps-side-effects-lang/interp-tests.rkt
    • eopl/tests/chapter4/call-by-need/store.rkt
    • eopl/tests/chapter3/proc-lang/proc-rep/interp.rkt
    • eopl/tests/chapter7/inferred/substitutions.rkt
    • eopl/tests/chapter2/sec2.5.rkt
    • eopl/tests/chapter8/full-system/interp.rkt
    • eopl/tests/chapter9/typed-oo/lang.rkt
    • eopl/tests/chapter8/full-system/lang.rkt
    • eopl/tests/chapter6/cps-side-effects-lang/interp.rkt
    • eopl/tests/chapter3/proc-lang/proc-rep/environments.rkt
    • eopl/tests/chapter8/full-system/static-data-structures.rkt
    • eopl/lang/reader.rkt
    • eopl/tests/chapter8/abstract-types-lang/expand-type.rkt
    • eopl/tests/chapter3/letrec-lang/lang.rkt
    • eopl/tests/chapter7/checked/tests.rkt
    • eopl/tests/chapter3/proc-lang/proc-rep/tests.rkt
    • eopl/tests/chapter4/explicit-refs/environments.rkt
    • eopl/tests/chapter8/abstract-types-lang/interp.rkt
    • eopl/tests/chapter9/classes/interp.rkt
    • eopl/tests/chapter3/proc-lang/ds-rep/lang.rkt
    • eopl/tests/chapter4/call-by-reference/environments.rkt
    • eopl/tests/chapter4/explicit-refs/interp.rkt
    • eopl/tests/chapter4/implicit-refs/lang.rkt
    • eopl/tests/chapter3/lexaddr-lang/translator.rkt
    • eopl/tests/chapter4/mutable-pairs/pairval1.rkt
    • eopl/tests/chapter6/cps-side-effects-lang/cps-in-lang.rkt
    • eopl/tests/chapter3/let-lang/interp.rkt
    • eopl/tests/chapter3/let-lang/tests.rkt
    • eopl/tests/chapter8/full-system/check-modules.rkt
    • eopl/datatype.rkt
    • eopl/tests/chapter9/classes/data-structures.rkt
    • eopl/main.rkt
    • eopl/tests/chapter8/abstract-types-lang/check-modules.rkt
    • eopl/tests/chapter4/call-by-need/tests.rkt
    • eopl/tests/chapter8/full-system/test-suite.rkt
    • eopl/tests/chapter9/typed-oo/store.rkt
    • eopl/tests/chapter4/call-by-need/pairval2.rkt
    • eopl/tests/chapter4/explicit-refs/tests.rkt
    • eopl/tests/chapter5/thread-lang/data-structures.rkt
    • eopl/tests/chapter8/full-system/tests-book.rkt
    • eopl/tests/chapter6/cps-side-effects-lang/cps-out-lang.rkt
    • eopl/tests/chapter4/mutable-pairs/tests.rkt
    • eopl/tests/chapter3/let-lang/data-structures.rkt
    • eopl/tests/chapter8/simplemodules/check-modules.rkt
    • eopl/tests/chapter8/full-system/subtyping.rkt
    • eopl/tests/chapter4/implicit-refs/store.rkt
    • eopl/eopl.rkt
    • eopl/tests/chapter3/letrec-lang/tests.rkt
    • eopl/tests/chapter5/thread-lang/store.rkt
    • eopl/tests/chapter4/mutable-pairs/environments.rkt
    • eopl/tests/chapter7/checked/interp.rkt
    • eopl/tests/chapter9/classes/environments.rkt
    • eopl/tests/chapter4/call-by-reference/lang.rkt
    • eopl/tests/chapter7/inferred/environments.rkt
    • eopl/tests/chapter8/simplemodules/environments.rkt
    • eopl/tests/chapter8/simplemodules/interp.rkt
    • eopl/tests/chapter6/cps-lang/cps-out-lang.rkt
    • eopl/tests/chapter8/simplemodules/tests-book.rkt
    • eopl/tests/chapter8/full-system/checker.rkt
    • eopl/tests/chapter5/thread-lang/tests.rkt
    • eopl/private/slldef.rkt
    • eopl/tests/chapter3/let-lang/lang.rkt
    • eopl/tests/chapter9/typed-oo/checker.rkt
    • eopl/tests/chapter4/explicit-refs/lang.rkt
    • eopl/tests/chapter8/simplemodules/expand-type.rkt
    • eopl/eopl.scrbl
    • eopl/tests/chapter4/explicit-refs/store.rkt
    • eopl/tests/chapter9/typed-oo/classes.rkt
    • eopl/tests/chapter8/simplemodules/test-suite.rkt
    • eopl/tests/chapter3/letrec-lang/environments.rkt
    • eopl/tests/chapter4/call-by-reference/pairval2.rkt
    • eopl/tests/chapter5/thread-lang/interp.rkt
    • eopl/tests/chapter4/call-by-reference/pairvals.rkt
    • eopl/tests/chapter2/sec2.2-ds-rep.rkt
    • eopl/tests/chapter3/lexaddr-lang/tests.rkt
    • eopl/tests/chapter3/lexaddr-lang/environments.rkt
    • eopl/tests/chapter4/mutable-pairs/store.rkt
    • eopl/tests/chapter4/mutable-pairs/interp.rkt
    • eopl/tests/chapter5/thread-lang/queues.rkt
    • eopl/tests/chapter3/letrec-lang/data-structures.rkt
    • eopl/tests/chapter5/letrec-lang/interp-registers.rkt
    • eopl/tests/chapter8/abstract-types-lang/static-data-structures.rkt
    • eopl/tests/chapter8/abstract-types-lang/data-structures.rkt
    • eopl/tests/chapter7/inferred/interp.rkt
    • eopl/tests/chapter3/lexaddr-lang/lang.rkt
    • eopl/tests/chapter3/proc-lang/proc-rep/lang.rkt
    • eopl/tests/chapter5/exceptions/data-structures.rkt
    • eopl/tests/chapter4/implicit-refs/data-structures.rkt
    • eopl/tests/chapter3/proc-lang/ds-rep/tests.rkt
    • eopl/tests/chapter7/checked/environments.rkt
    • eopl/tests/chapter3/proc-lang/proc-rep/data-structures.rkt
    • eopl/tests/chapter7/checked/data-structures.rkt
    • eopl/tests/chapter6/cps-lang/tests.rkt
    • eopl/tests/chapter2/sec2.1.rkt
    • eopl/tests/chapter8/abstract-types-lang/environments.rkt
    • eopl/tests/chapter4/call-by-need/lang.rkt
    • eopl/tests/chapter8/simplemodules/lang.rkt
    • eopl/tests/chapter5/exceptions/lang.rkt
    • eopl/tests/chapter8/abstract-types-lang/subtyping.rkt
    • eopl/tests/chapter9/classes/lang.rkt
    • eopl/tests/chapter8/abstract-types-lang/renaming.rkt
    • eopl/tests/chapter8/abstract-types-lang/lang.rkt
    • eopl/tests/chapter4/call-by-reference/data-structures.rkt
    • eopl/tests/chapter4/call-by-reference/tests.rkt
    • eopl/tests/chapter4/mutable-pairs/pairvals.rkt
    • eopl/tests/chapter6/cps-lang/cps.rkt
    • eopl/tests/chapter8/simplemodules/checker.rkt
    • eopl/tests/chapter7/checked/lang.rkt
    • eopl/tests/chapter6/cps-side-effects-lang/store.rkt
    • eopl/tests/chapter6/cps-side-effects-lang/tests.rkt
    • eopl/tests/chapter5/thread-lang/semaphores.rkt
    • eopl/tests/chapter4/call-by-reference/pairval1.rkt
    • eopl/tests/chapter8/abstract-types-lang/checker.rkt
    • eopl/private/utils.rkt
    • eopl/tests/chapter4/call-by-reference/store.rkt
    • eopl/tests/chapter7/inferred/unifier.rkt