An exercise in dependent types: A well-typed interpreter (1999)

Cached

Download Links

by Lennart Augustsson , Magnus Carlsson
Venue:In Workshop on Dependent Types in Programming, Gothenburg
Citations:23 - 0 self