GitHub - simonpj/outside-in: The Outside-In paper from ICFP 2009 and (subsequently) JFP

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
big-picture		big-picture
code		code
icfp2009		icfp2009
icfp_camera_ready		icfp_camera_ready
jfp-paper		jfp-paper
presentations		presentations
reports		reports
Makefile		Makefile
basic-algo-and-proofs.tex		basic-algo-and-proofs.tex
chr-based-approach.ps		chr-based-approach.ps
chr-based-approach.tex		chr-based-approach.tex
classification.pdf		classification.pdf
formal.tex		formal.tex
hash.ps		hash.ps
hash.tex		hash.tex
haskell.sty		haskell.sty
icfp.pdf		icfp.pdf
icfp.ps		icfp.ps
icfp.tex		icfp.tex
icfp2008.pdf		icfp2008.pdf
icfp_report.ps		icfp_report.ps
icfp_report.tex		icfp_report.tex
ifl2007.bib		ifl2007.bib
ifl2007.pdf		ifl2007.pdf
ifl2007.ps		ifl2007.ps
ifl2007.tex		ifl2007.tex
implication_constraints.bib		implication_constraints.bib
implication_constraints.pdf		implication_constraints.pdf
implication_constraints.ps		implication_constraints.ps
implication_constraints.tex		implication_constraints.tex
macros-ms.tex		macros-ms.tex
main.bib		main.bib
main.ps		main.ps
main.tex		main.tex
new-single.pdf		new-single.pdf
new-single.ps		new-single.ps
new-single.tex		new-single.tex
normalised_equations_algorithm.pdf		normalised_equations_algorithm.pdf
normalised_equations_algorithm.ps		normalised_equations_algorithm.ps
normalised_equations_algorithm.tex		normalised_equations_algorithm.tex
single_phase_algorithm.ps		single_phase_algorithm.ps
single_phase_algorithm.tex		single_phase_algorithm.tex
single_phase_algorithm.tex-save		single_phase_algorithm.tex-save
tom.ps		tom.ps
tom.tex		tom.tex
typefunctions-algo-II.ps		typefunctions-algo-II.ps