Reflection and Propositions-as-Types

Cached

Download Links

by Sergei Artemov , Eli Barzilay , Robert L. Constable , Aleksey Nogin