@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 = {jucs},
  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 = {tphol},
}

@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 = {sfp},
}

@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 = {ESOP},
}

@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 = {FUIN},
  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 = {sfp},
}

@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 = {njc},
  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 = {aplas},
}

@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 = {ENTCS},
  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 = {informaticaLT},
  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 = {njc},
  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 = {cefp},
}

@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 = {ICFP},
}

@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 = {sfp},
}

@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 = {aplas},
}