Lennart Augustsson, Magnus Carlsson. An exercise in dependent types: A well-typed interpreter. In In Workshop on Dependent Types in Programming, Gothenburg. 1999.
No references recorded for this publication.
No citations of this publication recorded.