%0 Conference Paper %1 conf/aplas/Lin02 %A Lin, Jan-Li %B APLAS %D 2002 %K dblp %P 74-83 %T Folds with Dependent Types. %U http://dblp.uni-trier.de/db/conf/aplas/aplas2002.html#Lin02

@inproceedings{conf/aplas/Lin02, added-at = {2004-06-01T00:00:00.000+0200}, author = {Lin, Jan-Li}, biburl = {https://www.bibsonomy.org/bibtex/240e35a1f3ea908dc7ba5b6e8bb007bd5/dblp}, booktitle = {APLAS}, crossref = {conf/aplas/2002}, date = {2004-06-01}, description = {dblp}, interhash = {89cb5d2d2ae03ccf5da5f1a229571a26}, intrahash = {40e35a1f3ea908dc7ba5b6e8bb007bd5}, keywords = {dblp}, pages = {74-83}, timestamp = {2004-06-01T00:00:00.000+0200}, title = {Folds with Dependent Types.}, url = {http://dblp.uni-trier.de/db/conf/aplas/aplas2002.html#Lin02}, year = 2002 }