▼
The
turnstile
language
1
The Turnstile Guide
2
The Turnstile Reference
3
Rackunit-
Style Test Forms for Turnstile
Bibliography
top
contents
← prev
up
next →
Bibliography
🔗
ℹ
[bidirectional]
Benjamin C. Pierce and David N. Turner, “Local Type Inference,” POPL, 1998.
top
contents
← prev
up
next →