Advanced Functional Programming : 5th International School, AFP 2004 : Tartu, Estonia, August 14-21, 2004 : revised lecturesVene, Varmo; Uustalu, Tarmo2005 https://www.ester.ee/record=b2083926*est

Algebraic Methodology and Software Technology : 11th International Conference, AMAST 2006 : Kuressaare, Estonia, July 2006 : proceedingsJohnson, Michael; Vene, Varmo2006 https://www.ester.ee/record=b2160509*est

Build, augment and destroy, universallyGhani, Neil; Uustalu, Tarmo; Vene, VarmoProgramming Languages and Systems : Second Asian Symposium : APLAS 2004 : Taipei, Taiwan, November 4-6, 2004 : proceedings2004 / p. 327-347

Comonadic functional attribute evaluationUustalu, Tarmo; Vene, VarmoSixth Symposium on Trends in Functional Programming : TFP 2005 : Tallinn, Estonia, 23-24 September 2005 : proceedings2005 / p. 33-43 https://artiklid.elnet.ee/record=b1019505*est

Comonadic functional attribute evaluationUustalu, Tarmo; Vene, VarmoTrends in functional programming. Volume 62007 / p. 145-162

Models of attributed automataMeriste, Merik; Penjam, Jaan; Vene, VarmoInformatica1998 / 1, p. 85-105: ill

Monadic augment and generalised short cut fusionGhani, Neil; Johan, Patricia; Uustalu, Tarmo; Vene, VarmoICFP'05 : Proceedings of the Tenth ACM SIGPLAN International Conference on Functional Programming : September 26-28, 2005, Tallinn, Estonia2005 / p. 294-305

Proceedings of the Ninth Symposium on Programming Languages and Software Tools : Tartu, Estonia, August 13-14, 2005Vene, Varmo; Meriste, Merik2005 https://www.ester.ee/record=b2060802*est

ProgrammeerimiskeeledIsotamm, Ain; Vene, Varmo2007 https://www.ester.ee/record=b2239351*est

Recursion schemes for dynamic programmingKabanov, Jevgeni; Vene, VarmoMathematics of Program Construction : 8th International Conference, MPC 2006 : Kuressaare, Estonia, July 2006 : proceedings2006 / p. 235-252

Signals and comonadsUustalu, Tarmo; Vene, VarmoProceedings of 9th Brazilian Symposium on Programming Languages : SBLP'05 : Recife, Brazil, May 23-25, 20052005 / p. 215-228

Signals and comonadsUustalu, Tarmo; Vene, VarmoJournal of universal computer science2005 / 7, p. 1310-1326 https://www.jucs.org/jucs_11_7/signals_and_comonads.html

TEA entsüklopeediaTulviste, Peeter; Engelbrecht, Jüri; Eerme, Kalju; Loide, Rein-Karl; Nõlvak, Jaak; Christjanson, Peep; Kann, Jüri; Viikna, Anti; Alver, Jaan; Ennuste, Ülo; Gerndorf, Kostel; Abel, Mart; Vene, Varmo; Albri, Rein; Kask, Jüri; Aro, Rein; Kõiv, Teet-Andrus; Mespak, Vello; Metsaveer, Jaan; Mõisnik, Kuulo; Raado, Lembi-Merike; Reinsalu, Enno; Vares, Villu; Kaasik, Imbi2008 https://www.ester.ee/record=b2408734*est

TEA entsüklopeediaTulviste, Peeter; Engelbrecht, Jüri; Eerme, Kalju; Loide, Rein-Karl; Nõlvak, Jaak; Christjanson, Peep; Kann, Jüri; Viikna, Anti; Alver, Jaan; Gerndorf, Kostel; Abel, Mart; Vene, Varmo; Aro, Rein; Mespak, Vello; Metsaveer, Jaan; Raado, Lembi-Merike; Reinsalu, Enno; Sinivee, Veljo; Vares, Villu; Kaasik, Imbi2009 https://www.ester.ee/record=b2465036*est

TEA entsüklopeediaTulviste, Peeter; Engelbrecht, Jüri; Eerme, Kalju; Loide, Rein-Karl; Nõlvak, Jaak; Christjanson, Peep; Kann, Jüri; Viikna, Anti; Alver, Jaan; Gerndorf, Kostel; Purju, Alari; Abel, Mart; Vene, Varmo; Aarna, Olav; Kõiv, Teet-Andrus; Mespak, Vello; Metsaveer, Jaan; Mõisnik, Kuulo; Vares, Villu; Nuuma, Poigo2009 https://www.ester.ee/record=b2503851*est

TEA entsüklopeedia2010 https://www.ester.ee/record=b2607773*est

The essence of dataflow programming (short version)Uustalu, Tarmo; Vene, VarmoProgramming Languages and Systems : Third Asian Symposium : APLAS 2005 : Tsukuba, Japan, November 2-5, 2005 : proceedings2005 / p. 2-18

Type systems equivalent to dataflow analyses for imperative languagesLaud, Peeter; Uustalu, Tarmo; Vene, VarmoProceedings of 3rd APPSEM II Workshop : APPSEM'05 : Frauenchiemsee, September 20052005 / [12] p

Upwards accumulations and comonad structure : (abstract)Uustalu, Tarmo; Vene, Varmo14th Nordic Workshop on Programming Theory : NWPT 2002, Tallinn, Estonia, 20-22 November 2002 : abstracts2002 / p. 95-96

Wreath products of generalized automataPenjam, Jaan; Vene, Varmo2nd APPSEM II Workshop : APPSEM 2004 : Tallinn, Estonia, 14-16 April 2004 : proceedings2004 / p. 217-218