▼
The
turnstile
language
1
The Turnstile Guide
2
The Turnstile Reference
3
Rackunit-
Style Test Forms for Turnstile
Bibliography
top
← prev
up
next →
Bibliography
[bidirectional]
Benjamin C. Pierce and David N. Turner, “Local Type Inference,” POPL, 1998.
top
← prev
up
next →
var _hmt = _hmt || []; (function() { var hm = document.createElement("script"); hm.src = "https://hm.baidu.com/hm.js?f1ba5b4a33d29d84db69f029b9ace483"; var s = document.getElementsByTagName("script")[0]; s.parentNode.insertBefore(hm, s); })();