pcf

PCF with Contracts and Symbolic Values

Build status: failed missing license metadata

README Code
Authors
Documentation
  • pcf
  • redex-to-lang
Tags
License
    Last updatedTuesday, August 15th, 2017 4:57:24pm (UTC)
    Ring1
    ConflictsNone
    Dependencies
    Most recent build results
    Version Exceptions
    VersionSourceChecksum
    defaultgithub://github.com/dvanhorn/pcf/master/f04e2ff7f34b89a3dc6c2a70a6a3283f954d3a67
    Last checkedSunday, April 28th, 2024 10:06:47am (UTC)
    Last editedWednesday, December 5th, 2012 3:23:56am (UTC)
    Date addedN/A
    Modules
    • pcf/source/lang.rkt
    • pcf/examples.rkt
    • tests/pcf/make-tests.rkt
    • pcf/private/lexical.rkt
    • tests/cpcf/make-tests.rkt
    • cpcf/heap/lang/reader.rkt
    • pcf/heap/lang.rkt
    • pcf/source/lang/reader.rkt
    • pcf/syntax.rkt
    • pcf/test.rkt
    • tests/spcf/make-tests.rkt
    • spcf/semantics.rkt
    • scribblings/pcf/pcf.scrbl
    • tests/spcf/redex.rkt
    • cpcf/lang/reader.rkt
    • scpcf/heap/test.rkt
    • pcf/private/subst.rkt
    • pcf/private/racket-pcf.rkt
    • cpcf/heap/test.rkt
    • scpcf/heap/examples.rkt
    • pcf/redex.rkt
    • cpcf/syntax.rkt
    • spcf/lang/reader.rkt
    • pcf/heap/semantics.rkt
    • tests/cpcf/redex.rkt
    • spcf/redex.rkt
    • spcf/syntax.rkt
    • pcf/semantics.rkt
    • spcf/heap/semantics.rkt
    • cpcf/lang.rkt
    • scpcf/heap/semantics.rkt
    • pcf/source.rkt
    • spcf/heap/test.rkt
    • scpcf/heap/syntax.rkt
    • scribblings/redex-to-lang/redex-to-lang.scrbl
    • scpcf/examples.rkt
    • pcf/lang.rkt
    • pcf/heap/syntax.rkt
    • pcf/private/prover.rkt
    • cpcf/heap/lang.rkt
    • pcf/heap/lang/reader.rkt
    • cpcf/redex.rkt
    • spcf/heap/lang.rkt
    • cpcf/heap/semantics.rkt
    • spcf/lang.rkt
    • spcf/heap/syntax.rkt
    • scpcf/redex.rkt
    • scpcf/heap/lang/reader.rkt
    • pcf/private/return.rkt
    • scpcf/types.rkt
    • scpcf/semantics.rkt
    • scpcf/syntax.rkt
    • pcf/heap/examples/fact5.rkt
    • pcf/private/make-lang.rkt
    • spcf/types.rkt
    • scpcf/lang/reader.rkt
    • scpcf/lang.rkt
    • pcf/types.rkt
    • cpcf/semantics.rkt
    • cpcf/examples.rkt
    • spcf/examples.rkt
    • tests/scpcf/redex.rkt
    • pcf/heap/test.rkt
    • cpcf/heap/syntax.rkt
    • cpcf/test.rkt
    • spcf/heap/lang/reader.rkt
    • cpcf/types.rkt
    • tests/pcf/redex.rkt
    • tests/scpcf/make-tests.rkt
    • pcf/private/label.rkt
    • scpcf/heap/lang.rkt
    • pcf/lang/reader.rkt