%0 Conference Paper %1 journals/entcs/ZellerSD08 %A Zeller, Michael %A Stump, Aaron %A Deters, Morgan %B LFMTP@CADE %D 2007 %E Pientka, Brigitte %E Schürmann, Carsten %I Elsevier %K dblp %P 129-135 %T Signature Compilation for the Edinburgh Logical Framework. %U http://dblp.uni-trier.de/db/journals/entcs/entcs196.html#ZellerSD08 %V 196

@inproceedings{journals/entcs/ZellerSD08, added-at = {2023-02-09T00:00:00.000+0100}, author = {Zeller, Michael and Stump, Aaron and Deters, Morgan}, biburl = {https://www.bibsonomy.org/bibtex/2690b6f918c84731ddd8a628bbbf9b25e/dblp}, booktitle = {LFMTP@CADE}, crossref = {conf/lfmtp/2007}, editor = {Pientka, Brigitte and Schürmann, Carsten}, ee = {https://doi.org/10.1016/j.entcs.2007.09.022}, interhash = {8d3fc1999df596da3471e317705cbcde}, intrahash = {690b6f918c84731ddd8a628bbbf9b25e}, keywords = {dblp}, pages = {129-135}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-10T01:18:18.000+0200}, title = {Signature Compilation for the Edinburgh Logical Framework.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs196.html#ZellerSD08}, volume = 196, year = 2007 }