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

Cached

Download Links

by Adam Chlipala
Citations:35 - 4 self