random-terms

A paper on random generation of well-typed terms and their use for testing.

Name		Name	Last commit message	Last commit date
Latest commit History 126 Commits
models		models
related-work		related-work
results		results
.gitignore		.gitignore
Makefile		Makefile
README.md		README.md
appendix.scrbl		appendix.scrbl
citations.rkt		citations.rkt
common.rkt		common.rkt
conclusion.scrbl		conclusion.scrbl
deriv-layout.rkt		deriv-layout.rkt
deriv.scrbl		deriv.scrbl
dist-pict.rkt		dist-pict.rkt
evaluation.scrbl		evaluation.scrbl
intro.scrbl		intro.scrbl
metafunc-ctcs.rkt		metafunc-ctcs.rkt
outline.txt		outline.txt
paper.scrbl		paper.scrbl
pat-grammar.rkt		pat-grammar.rkt
redex.scrbl		redex.scrbl
related-work.scrbl		related-work.scrbl
semantics.scrbl		semantics.scrbl
sigplanconf.cls		sigplanconf.cls
style-old.tex		style-old.tex
style.tex		style.tex
typesetting.rkt		typesetting.rkt
util.rkt		util.rkt

Provide feedback