Ur: Statically-Typed Metaprogramming with Type-Level Record Computation (2010)

Cached

Download Links

by Adam Chlipala
Citations:22 - 1 self