Signature Compilation for the Edinburgh Logical Framework

Cite this paper

@article{Zeller2008SignatureCF, title={Signature Compilation for the Edinburgh Logical Framework}, author={Michael Zeller and Aaron Stump and Morgan Deters}, journal={Electr. Notes Theor. Comput. Sci.}, year={2008}, volume={196}, pages={129-135} }