Bibliography

1	The Turnstile Guide
2	The Turnstile Reference
3	Rackunit-Style Test Forms for Turnstile
	Bibliography

[bidirectional]

Benjamin C. Pierce and David N. Turner, “Local Type Inference,” POPL, 1998.