%0 Conference Proceedings
%F pfenning89
%A Pfenning, F.
%T Elf: A Language for Logic Definition and Verified Metaprogramming
%B Proc. 1989 IEEE 4th Annual Symp. on Logic in Computer Science (LICS)
%P 313-322
%I IEEE Computer Society Press
%D 1989
%K typetheory