%0 Conference Paper %1 conf/types/Gimenez94 %A Giménez, Eduardo %B TYPES %D 1994 %E Dybjer, Peter %E Nordström, Bengt %E Smith, Jan M. %I Springer %K dblp %P 39-59 %T Codifying Guarded Definitions with Recursive Schemes. %U http://dblp.uni-trier.de/db/conf/types/types94.html#Gimenez94 %V 996 %@ 3-540-60579-7

@inproceedings{conf/types/Gimenez94, added-at = {2017-05-20T00:00:00.000+0200}, author = {Giménez, Eduardo}, biburl = {https://www.bibsonomy.org/bibtex/209aa10219ffdca0e4bca12d5b550d529/dblp}, booktitle = {TYPES}, crossref = {conf/types/1994}, editor = {Dybjer, Peter and Nordström, Bengt and Smith, Jan M.}, ee = {https://doi.org/10.1007/3-540-60579-7_3}, interhash = {377e6cd0d10106974523c6e2c986435f}, intrahash = {09aa10219ffdca0e4bca12d5b550d529}, isbn = {3-540-60579-7}, keywords = {dblp}, pages = {39-59}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T20:14:55.000+0200}, title = {Codifying Guarded Definitions with Recursive Schemes.}, url = {http://dblp.uni-trier.de/db/conf/types/types94.html#Gimenez94}, volume = 996, year = 1994 }