Lennart Augustsson, Magnus Carlsson. An exercise in dependent types: A well-typed interpreter. In In Workshop on Dependent Types in Programming, Gothenburg. 1999.
@inproceedings{Augustsson99anexercise,
title = {An exercise in dependent types: A well-typed interpreter},
author = {Lennart Augustsson and Magnus Carlsson},
year = {1999},
researchr = {https://researchr.org/publication/Augustsson99anexercise},
cites = {0},
citedby = {0},
booktitle = {In Workshop on Dependent Types in Programming, Gothenburg},
}