publications:
- title: "Signals and Comonads"
  author:
  - name: "Tarmo Uustalu"
    link: "http://www.ioc.ee/~tarmo/"
  - name: "Varmo Vene"
    link: "https://researchr.org/alias/varmo-vene"
  year: "2005"
  doi: "http://www.jucs.org/jucs_11_7/signals_and_comonads"
  links:
    doi: "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"
  kind: "article"
  key: "UustaluV05"
- title: "Trace-Based Coinductive Operational Semantics for While"
  author:
  - name: "Keiko Nakata"
    link: "https://researchr.org/alias/keiko-nakata"
  - name: "Tarmo Uustalu"
    link: "http://www.ioc.ee/~tarmo/"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-03359-9_26"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "NakataU09"
- title: "The Dual of Substitution is Redecoration"
  author:
  - name: "Tarmo Uustalu"
    link: "http://www.ioc.ee/~tarmo/"
  - name: "Varmo Vene"
    link: "https://researchr.org/alias/varmo-vene"
  year: "2001"
  researchr: "https://researchr.org/publication/UustaluV01"
  cites: 0
  citedby: 0
  pages: "99-110"
  booktitle: "sfp"
  kind: "inproceedings"
  key: "UustaluV01"
- title: "A Hoare Logic for the Coinductive Trace-Based Big-Step Semantics of While"
  author:
  - name: "Keiko Nakata"
    link: "https://researchr.org/alias/keiko-nakata"
  - name: "Tarmo Uustalu"
    link: "http://www.ioc.ee/~tarmo/"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-11957-6_26"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "NakataU10"
- title: "Preface"
  author:
  - name: "Thorsten Altenkirch"
    link: "http://www.cs.nott.ac.uk/~txa"
  - name: "Tarmo Uustalu"
    link: "http://www.ioc.ee/~tarmo/"
  year: "2010"
  doi: "http://dx.doi.org/10.3233/FI-2010-302"
  links:
    doi: "http://dx.doi.org/10.3233/FI-2010-302"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/fuin/AltenkirchU10"
  researchr: "https://researchr.org/publication/AltenkirchU10"
  cites: 0
  citedby: 0
  journal: "FUIN"
  volume: "102"
  number: "2"
  kind: "article"
  key: "AltenkirchU10"
- title: "Generalizing the AUGMENT combinator"
  author:
  - name: "Neil Ghani"
    link: "http://personal.cis.strath.ac.uk/~ng/"
  - name: "Tarmo Uustalu"
    link: "http://www.ioc.ee/~tarmo/"
  - name: "Varmo Vene"
    link: "https://researchr.org/alias/varmo-vene"
  year: "2004"
  researchr: "https://researchr.org/publication/GhaniUV04%3A0"
  cites: 0
  citedby: 0
  pages: "65-78"
  booktitle: "sfp"
  kind: "inproceedings"
  key: "GhaniUV04:0"
- title: "Recursion Schemes from Comonads"
  author:
  - name: "Tarmo Uustalu"
    link: "http://www.ioc.ee/~tarmo/"
  - name: "Varmo Vene"
    link: "https://researchr.org/alias/varmo-vene"
  - name: "Alberto Pardo"
    link: "https://researchr.org/alias/alberto-pardo"
  year: "2001"
  doi: "http://www.cs.helsinki.fi/njc/References/uustaluvp2001:366.html"
  links:
    doi: "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"
  kind: "article"
  key: "UustaluVP01"
- title: "Build, Augment and Destroy, Universally"
  author:
  - name: "Neil Ghani"
    link: "http://personal.cis.strath.ac.uk/~ng/"
  - name: "Tarmo Uustalu"
    link: "http://www.ioc.ee/~tarmo/"
  - name: "Varmo Vene"
    link: "https://researchr.org/alias/varmo-vene"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3302&spage=327"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "GhaniUV04"
- title: "Comonadic Notions of Computation"
  author:
  - name: "Tarmo Uustalu"
    link: "http://www.ioc.ee/~tarmo/"
  - name: "Varmo Vene"
    link: "https://researchr.org/alias/varmo-vene"
  year: "2008"
  doi: "http://dx.doi.org/10.1016/j.entcs.2008.05.029"
  links:
    doi: "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"
  kind: "article"
  key: "UustaluV08"
- title: "Primitive (Co)Recursion and Course-of-Value (Co)Iteration, Categorically"
  author:
  - name: "Tarmo Uustalu"
    link: "http://www.ioc.ee/~tarmo/"
  - name: "Varmo Vene"
    link: "https://researchr.org/alias/varmo-vene"
  year: "1999"
  doi: "http://www.vtex.lt/informatica/htm/INFO141.htm"
  links:
    doi: "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"
  kind: "article"
  key: "UustaluV99"
- title: "Mendler-Style Inductive Types, Categorically"
  author:
  - name: "Tarmo Uustalu"
    link: "http://www.ioc.ee/~tarmo/"
  - name: "Varmo Vene"
    link: "https://researchr.org/alias/varmo-vene"
  year: "1999"
  researchr: "https://researchr.org/publication/UustaluV99%3A0"
  cites: 0
  citedby: 0
  journal: "njc"
  volume: "6"
  number: "3"
  pages: "343"
  kind: "article"
  key: "UustaluV99:0"
- title: "The Essence of Dataflow Programming"
  author:
  - name: "Tarmo Uustalu"
    link: "http://www.ioc.ee/~tarmo/"
  - name: "Varmo Vene"
    link: "https://researchr.org/alias/varmo-vene"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11894100_5"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "UustaluV05:0"
- title: "Monadic augment and generalised short cut fusion"
  author:
  - name: "Neil Ghani"
    link: "http://personal.cis.strath.ac.uk/~ng/"
  - name: "Patricia Johann"
    link: "http://personal.cis.strath.ac.uk/~patricia/"
  - name: "Tarmo Uustalu"
    link: "http://www.ioc.ee/~tarmo/"
  - name: "Varmo Vene"
    link: "https://researchr.org/alias/varmo-vene"
  year: "2005"
  doi: "http://doi.acm.org/10.1145/1086365.1086403"
  links:
    doi: "http://doi.acm.org/10.1145/1086365.1086403"
  researchr: "https://researchr.org/publication/GhaniJUV05"
  cites: 0
  citedby: 0
  pages: "294-305"
  booktitle: "ICFP"
  kind: "inproceedings"
  key: "GhaniJUV05"
- title: "Comonadic functional attribute evaluation"
  author:
  - name: "Tarmo Uustalu"
    link: "http://www.ioc.ee/~tarmo/"
  - name: "Varmo Vene"
    link: "https://researchr.org/alias/varmo-vene"
  year: "2005"
  researchr: "https://researchr.org/publication/UustaluV05%3A1"
  cites: 0
  citedby: 0
  pages: "145-162"
  booktitle: "sfp"
  kind: "inproceedings"
  key: "UustaluV05:1"
- title: "The Essence of Dataflow Programming"
  author:
  - name: "Tarmo Uustalu"
    link: "http://www.ioc.ee/~tarmo/"
  - name: "Varmo Vene"
    link: "https://researchr.org/alias/varmo-vene"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11575467_2"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "UustaluV05:2"