@article{UustaluV05,
  title = {Signals and Comonads},
  author = {Tarmo Uustalu and Varmo Vene},
  year = {2005},
  url = {http://www.jucs.org/jucs_11_7/signals_and_comonads},
  researchr = {https://researchr.org/publication/UustaluV05},
  cites = {0},
  citedby = {0},
  journal = {J. UCS},
  volume = {11},
  number = {7},
  pages = {1310-1326},
}

@inproceedings{NakataU09,
  title = {Trace-Based Coinductive Operational Semantics for While},
  author = {Keiko Nakata and Tarmo Uustalu},
  year = {2009},
  doi = {10.1007/978-3-642-03359-9_26},
  url = {http://dx.doi.org/10.1007/978-3-642-03359-9_26},
  tags = {semantics, rule-based, operational semantics},
  researchr = {https://researchr.org/publication/NakataU09},
  cites = {0},
  citedby = {0},
  pages = {375-390},
  booktitle = {Theorem Proving in Higher Order Logics, 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings},
  editor = {Stefan Berghofer and Tobias Nipkow and Christian Urban and Makarius Wenzel},
  volume = {5674},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-03358-2},
}

@inproceedings{UustaluV01,
  title = {The Dual of Substitution is Redecoration},
  author = {Tarmo Uustalu and Varmo Vene},
  year = {2001},
  researchr = {https://researchr.org/publication/UustaluV01},
  cites = {0},
  citedby = {0},
  pages = {99-110},
  booktitle = {Selected papers from the 3rd Scottish Functional Programming Workshop (SFP01), University of Stirling, Bridge of Allan, Scotland, August 22nd to 24th, 2001},
  editor = {Kevin Hammond and Sharon Curtis},
  volume = {3},
  series = {Trends in Functional Programming},
  publisher = {Intellect},
  isbn = {1-84150-070-4},
}

@inproceedings{NakataU10,
  title = {A Hoare Logic for the Coinductive Trace-Based Big-Step Semantics of While},
  author = {Keiko Nakata and Tarmo Uustalu},
  year = {2010},
  doi = {10.1007/978-3-642-11957-6_26},
  url = {http://dx.doi.org/10.1007/978-3-642-11957-6_26},
  tags = {semantics, rule-based, logic},
  researchr = {https://researchr.org/publication/NakataU10},
  cites = {0},
  citedby = {0},
  pages = {488-506},
  booktitle = {Programming Languages and Systems, 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings},
  editor = {Andrew D. Gordon},
  volume = {6012},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-11956-9},
}

@article{AltenkirchU10,
  title = {Preface},
  author = {Thorsten Altenkirch and Tarmo Uustalu},
  year = {2010},
  doi = {10.3233/FI-2010-302},
  url = {http://dx.doi.org/10.3233/FI-2010-302},
  researchr = {https://researchr.org/publication/AltenkirchU10},
  cites = {0},
  citedby = {0},
  journal = {Fundamenta Informaticae},
  volume = {102},
  number = {2},
}

@inproceedings{GhaniUV04:0,
  title = {Generalizing the AUGMENT combinator},
  author = {Neil Ghani and Tarmo Uustalu and Varmo Vene},
  year = {2004},
  researchr = {https://researchr.org/publication/GhaniUV04%3A0},
  cites = {0},
  citedby = {0},
  pages = {65-78},
  booktitle = {Revised Selected Papers from the Fifth Symposium on Trends in Functional Programming, TFP 2004, München, Germany, 25-26 November 2004},
  editor = {Hans-Wolfgang Loidl},
  volume = {5},
  series = {Trends in Functional Programming},
  publisher = {Intellect},
  isbn = {1-84150-144-1},
}

@article{UustaluVP01,
  title = {Recursion Schemes from Comonads},
  author = {Tarmo Uustalu and Varmo Vene and Alberto Pardo},
  year = {2001},
  url = {http://www.cs.helsinki.fi/njc/References/uustaluvp2001:366.html},
  researchr = {https://researchr.org/publication/UustaluVP01},
  cites = {0},
  citedby = {0},
  journal = {Nord. J. Comput.},
  volume = {8},
  number = {3},
  pages = {366-390},
}

@inproceedings{GhaniUV04,
  title = {Build, Augment and Destroy, Universally},
  author = {Neil Ghani and Tarmo Uustalu and Varmo Vene},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3302&spage=327},
  researchr = {https://researchr.org/publication/GhaniUV04},
  cites = {0},
  citedby = {0},
  pages = {327-347},
  booktitle = {Programming Languages and Systems: Second Asian Symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004. Proceedings},
  editor = {Wei-Ngan Chin},
  volume = {3302},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-23724-0},
}

@article{UustaluV08,
  title = {Comonadic Notions of Computation},
  author = {Tarmo Uustalu and Varmo Vene},
  year = {2008},
  doi = {10.1016/j.entcs.2008.05.029},
  url = {http://dx.doi.org/10.1016/j.entcs.2008.05.029},
  researchr = {https://researchr.org/publication/UustaluV08},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {203},
  number = {5},
  pages = {263-284},
}

@article{UustaluV99,
  title = {Primitive (Co)Recursion and Course-of-Value (Co)Iteration, Categorically},
  author = {Tarmo Uustalu and Varmo Vene},
  year = {1999},
  url = {http://www.vtex.lt/informatica/htm/INFO141.htm},
  researchr = {https://researchr.org/publication/UustaluV99},
  cites = {0},
  citedby = {0},
  journal = {Informatica, Lith. Acad. Sci.},
  volume = {10},
  number = {1},
  pages = {5-26},
}

@article{UustaluV99:0,
  title = {Mendler-Style Inductive Types, Categorically},
  author = {Tarmo Uustalu and Varmo Vene},
  year = {1999},
  researchr = {https://researchr.org/publication/UustaluV99%3A0},
  cites = {0},
  citedby = {0},
  journal = {Nord. J. Comput.},
  volume = {6},
  number = {3},
  pages = {343},
}

@inproceedings{UustaluV05:0,
  title = {The Essence of Dataflow Programming},
  author = {Tarmo Uustalu and Varmo Vene},
  year = {2005},
  doi = {10.1007/11894100_5},
  url = {http://dx.doi.org/10.1007/11894100_5},
  tags = {programming},
  researchr = {https://researchr.org/publication/UustaluV05%3A0},
  cites = {0},
  citedby = {0},
  pages = {135-167},
  booktitle = {Central European Functional Programming School, First Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures},
  editor = {Zoltán Horváth},
  volume = {4164},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-46843-9},
}

@inproceedings{GhaniJUV05,
  title = {Monadic augment and generalised short cut fusion},
  author = {Neil Ghani and Patricia Johann and Tarmo Uustalu and Varmo Vene},
  year = {2005},
  doi = {10.1145/1086365.1086403},
  url = {http://doi.acm.org/10.1145/1086365.1086403},
  researchr = {https://researchr.org/publication/GhaniJUV05},
  cites = {0},
  citedby = {0},
  pages = {294-305},
  booktitle = {Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, ICFP 2005, Tallinn, Estonia, September 26-28, 2005},
  editor = {Olivier Danvy and Benjamin C. Pierce},
  publisher = {ACM},
  isbn = {1-59593-064-7},
}

@inproceedings{UustaluV05:1,
  title = {Comonadic functional attribute evaluation},
  author = {Tarmo Uustalu and Varmo Vene},
  year = {2005},
  researchr = {https://researchr.org/publication/UustaluV05%3A1},
  cites = {0},
  citedby = {0},
  pages = {145-162},
  booktitle = {Revised Selected Papers from the Sixth Symposium on Trends in Functional Programming, TFP 2005, Tallinn, Estonia, 23-24 September 2005},
  editor = {Marko C. J. D. van Eekelen},
  volume = {6},
  series = {Trends in Functional Programming},
  publisher = {Intellect},
  isbn = {978-1-84150-176-5},
}

@inproceedings{UustaluV05:2,
  title = {The Essence of Dataflow Programming},
  author = {Tarmo Uustalu and Varmo Vene},
  year = {2005},
  doi = {10.1007/11575467_2},
  url = {http://dx.doi.org/10.1007/11575467_2},
  tags = {programming},
  researchr = {https://researchr.org/publication/UustaluV05%3A2},
  cites = {0},
  citedby = {0},
  pages = {2-18},
  booktitle = {Programming Languages and Systems, Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings},
  editor = {Kwangkeun Yi},
  volume = {3780},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-29735-9},
}