Otsing - TalTech teadusportaal

kuva

reasta

1

raamat

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

raamat

2

raamat

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

raamat

3

artikkel kogumikus

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 https://www.researchgate.net/publication/221323363_Build_Augment_and_Destroy_Universally

artikkel kogumikus

4

artikkel kogumikus

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

artikkel kogumikus

5

artikkel kogumikus

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

artikkel kogumikus

6

artikkel ajakirjas

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

artikkel ajakirjas

7

artikkel kogumikus

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

artikkel kogumikus

8

raamat

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

raamat

9

raamat

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

raamat

10

artikkel kogumikus

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

artikkel kogumikus

11

artikkel kogumikus

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

artikkel kogumikus

12

artikkel ajakirjas

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

artikkel ajakirjas

13

raamat

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

raamat

14

raamat

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

raamat

15

raamat

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

raamat

16

raamat

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

raamat

17

artikkel kogumikus

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

artikkel kogumikus

18

artikkel kogumikus

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 https://www.sciencedirect.com/science/article/pii/S0304397506005524

artikkel kogumikus

19

artikkel kogumikus

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

artikkel kogumikus

20

artikkel kogumikus

Wreath products of generalized automataPenjam, Jaan; Vene, Varmo2nd APPSEM II Workshop : APPSEM 2004 : Tallinn, Estonia, 14-16 April 2004 : proceedings2004 / p. 217-218 https://cdc.ioc.ee/appsem04/webproc/short/penjam-vene.pdf

artikkel kogumikus

Vene, Varmo (autor)

teaviku laadid

autor 9

märksõna 8

tema kohta 3

CV 3

TTÜ struktuuriüksus 3