suzanne.soy/trivial
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
master
trivial/popl-2017
History
Ben Greenman 3703cee372 [checkpoint]
2016-06-27 16:00:02 -04:00
..
src [popl-2017] checkpoint, time to run evaluation 2016-06-27 16:00:01 -04:00
.gitignore [checkpoint] 2016-06-27 16:00:02 -04:00
background.scrbl [checkpoint] 2016-06-27 16:00:02 -04:00
bib.rkt [checkpoint] 2016-06-27 16:00:02 -04:00
common.rkt [checkpoint] 2016-06-27 16:00:02 -04:00
conclusion.scrbl [checkpoint] 2016-06-27 16:00:02 -04:00
correctness.scrbl [popl-2017] checkpoint, time to run evaluation 2016-06-27 16:00:01 -04:00
discussion.scrbl [popl-2017] outlined 2016-06-27 16:00:00 -04:00
examples.scrbl [popl-2017] checkpoint, time to run evaluation 2016-06-27 16:00:01 -04:00
fig-elab1.tex [popl-2017] checkpoint, time to run evaluation 2016-06-27 16:00:01 -04:00
fig-elab0.tex [popl-2017] checkpoint, time to run evaluation 2016-06-27 16:00:01 -04:00
fig-regexp.tex [popl-2017] checkpoint, time to run evaluation 2016-06-27 16:00:01 -04:00
fig-stlc-core.tex [checkpoint] 2016-06-27 16:00:02 -04:00
fig-stlc-surface.tex [popl-2017] checkpoint, time to run evaluation 2016-06-27 16:00:01 -04:00
friends.scrbl [popl-2017] outlined 2016-06-27 16:00:00 -04:00
intro.scrbl [checkpoint] 2016-06-27 16:00:02 -04:00
Makefile [checkpoint] 2016-06-27 16:00:02 -04:00
mathpartir.sty [popl-2017] checkpoint: getting organized 2016-06-27 16:00:00 -04:00
OUTLINE.md [checkpoint] 2016-06-27 16:00:02 -04:00
paper.scrbl [checkpoint] 2016-06-27 16:00:02 -04:00
README.md [popl-2017] checkpoint: getting organized 2016-06-27 16:00:00 -04:00
related-work.scrbl [checkpoint] 2016-06-27 16:00:02 -04:00
segfault.scrbl [checkpoint] 2016-06-27 16:00:02 -04:00
texstyle.tex [checkpoint] 2016-06-27 16:00:02 -04:00

README.md

vdt

"Value Dependent Types"

Prepping for POPL 2017

Run make to build paper.pdf.

For later

Can't do any analysis/optimizations on variables bound by user input. But could we compile ``small'' circuits such that one input is given, we send it to the circuit and quickly detect errors that would occur late in the program?