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

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

4

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

5

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

6

raamat

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

raamat

7

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

8

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

9

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

10

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

11

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

12

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

13

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

14

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

Vene, Varmo (TTÜ autor)

teaviku laadid

autor 8

märksõna 8

tema kohta 3

CV 3

TTÜ struktuuriüksus 3