GitHub - hazelgrove/incremental-statics-paper: Incremental Bidirectional Typing via Order Maintenance

hazelgrove / incremental-statics-paper Public

Incremental Bidirectional Typing via Order Maintenance

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
WITS		WITS
config		config
abstract.tex		abstract.tex
discussion-and-conclusion.tex		discussion-and-conclusion.tex
evaluation.tex		evaluation.tex
formalism.tex		formalism.tex
implementation.tex		implementation.tex
incremental-by-example.tex		incremental-by-example.tex
incremental-paper.bib		incremental-paper.bib
incremental-paper.tex		incremental-paper.tex
introduction.tex		introduction.tex
properties.tex		properties.tex
related-work.tex		related-work.tex