William J. Bowman

Identifiers

No identifiers captured yet.

Papers (1)

Typed Closure Conversion for the Calculus of Constructions cs.PL · 2018 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

Amal Ahmed 1 shared papers