Giters

nuprl / tag-sound

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

Home Page:http://www.ccs.neu.edu/home/types/publications/publications.html#gf-icfp-2018

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

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

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

License:Other

Languages

Language:Racket 87.3%Language:TeX 10.9%Language:Scheme 1.7%Language:Makefile 0.1%Language:Shell 0.0%Language:Python 0.0%