Name		Name	Last commit message	Last commit date
artifact		artifact
benchmarks		benchmarks
data		data
gf-icfp-2018		gf-icfp-2018
legacy-model		legacy-model
pi-2017		pi-2017
pi-2018		pi-2018
src		src
.gitignore		.gitignore
.gitmodules		.gitmodules
LICENSE.txt		LICENSE.txt
Makefile		Makefile
README.md		README.md
example.rkt		example.rkt

Repository files navigation

tag-sound

Exploring tag soundess

data/ performance data
gf-pldi-2018/ draft of a paper
legacy-model/ draft Redex models, see gf-pldi-2018/model for newer models
pi-2017/ NSF PI meeting presentation

About

Source for "A Spectrum of Type Soundness and Performance", ICFP 2018

www.ccs.neu.edu/home/types/publications/publications.html#gf-icfp-2018

Custom properties

3 stars

6 watching

Report repository

Releases

Packages

Contributors

Languages