Bibliography🔗ℹ
Link to this section with
@secref["doc-bibliography"
#:doc '(lib "turnstile/scribblings/turnstile.scrbl")]
Link to this section with
@secref["doc-bibliography"
#:doc '(lib "turnstile/scribblings/turnstile.scrbl")]
| [bidirectional] | | Benjamin C. Pierce and David N. Turner, “Local Type Inference,” POPL, 1998. |