bibliographer - Mitchell Wand

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

On the complexity of type inference with coercion Mitchell Wand Patrick O'Keefe [github]

Type inference for partial types is decidable Patrick M. O'Keefe Mitchell Wand [github]

A simple algorithm and proof for type inference Mitchell Wand [github]

Constraint systems for useless variable elimination Mitchell Wand Igor Siveroni [github]

Continuation semantics in typed lambda-calculi AlbertR. Meyer Mitchell Wand [github]

On the correctness of the Krivine machine Mitchell Wand [github]

An algebraic formulation of the Chomsky hierarchy Mitchell Wand [github]

Small bisimulations for reasoning about higher-order imperative programs Vasileios Koutavas Mitchell Wand [github]

Library Size: 13G (8 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]