Otsing - TalTech teadusportaal

kuva

reasta

1

artikkel ajakirjas EST / artikkel ajakirjas ENG

Abstract categorical semantics for resourceful functional reactive programmingJeltsch, WolfgangJournal of logical and algebraic methods in programming2016 / p. 1177-1200 : ill https://doi.org/10.1016/j.jlamp.2016.07.001 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

2

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

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 ajakirjas EST / artikkel ajakirjas ENG

A divertimento on MonadPlus and nondeterminismUustalu, TarmoJournal of logical and algebraic methods in programming2016 / p. 1086-1094 : ill https://doi.org/10.1016/j.jlamp.2016.06.004 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

5

artikkel kogumikus

ForefordUustalu, TarmoICFP'13 : proceedings of the 2013 ACM SIGPLAN International Conference on Functional Programming2013 / p. iii

artikkel kogumikus

6

artikkel ajakirjas

A framework for modelling, verification and transformation of concurrent imperative programsBortin, MaksymarXiv.org2020 / 57 p https://arxiv.org/abs/2007.02261 https://doi.org/10.48550/arXiv.2007.02261

artikkel ajakirjas

7

artikkel kogumikus

Functional incremental computingFirsov, Denis; Jeltsch, WolfgangProceedings of the 8th Annual Conference of the Estonian National Doctoral School in Information and Communication Technologies : December 5-6, 2014, Rakvere2014 / p. 35-38

artikkel kogumikus

8

artikkel ajakirjas

Funktsionaalprogrammeerimine ExcelisLeis, PaulArvutustehnika ja Andmetöötlus1996 / 6, lk. 19-24: ill

artikkel ajakirjas

9

artikkel kogumikus

Numerical method for stability analysis of functionally graded columnsShvartsman, B.S.; Majak, Jüri; Kirs, MaarjusProceedings of the 9th International Conference of DAAAM Baltic Industrial Engineering, 24-26th April 2014, Tallinn, Estonia2014 / p. 65-70 : ill

artikkel kogumikus

10

artikkel ajakirjas

On the border between functional programming and program synthesisTõugu, EnnProceedings of the Estonian Academy of Sciences. Engineering1998 / 2, p. 119-129

artikkel ajakirjas

11

artikkel ajakirjas

PhD abstractsHutton, GrahamJournal of functional programming2017 / art. e25, p. 1-18 https://doi.org/10.1017/s0956796817000181

artikkel ajakirjas

12

artikkel kogumikus EST / artikkel kogumikus ENG

Purely functional incremental computingFirsov, Denis; Jeltsch, WolfgangProgramming Languages : 20th Brazilian Symposium, SBLP 2016, Maringa, Brazil, September 22-23, 2016 : proceedings2016 / p. 62-77 : ill https://doi.org/10.1007/978-3-319-45279-1_5 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

13

raamat

Sixth Symposium on Trends in Functional Programming : TFP 2005 : Tallinn, Estonia, 23-24 september 2005 : proceedingsEekelen, M. van2005 https://www.ester.ee/record=b2067158*est

raamat

14

artikkel kogumikus

Teaduspreemia täppisteaduste alal tööde tsükli "Matemaatilised struktuurid funktsionaalprogrammeerimises" eest : Tarmo UustaluUustalu, TarmoEesti Vabariigi preemiad : teadus. F. J. Wiedemanni keeleauhind. Kultuur. Sport2015 / lk. 52-62 : portr

artikkel kogumikus

15

raamat

TFP/ICFP/GPCE 2005 : Tallinn, Estonia, 23 September - 1 October 2005 : final programme2005 https://www.ester.ee/record=b2076119*est

raamat

16

raamat

Workshop on Mathematically Structured Functional Programming : MSFP 2006 : Kuressaare, Estonia, 2 July 2006 : proceedings2006 http://www.ester.ee/record=b2155741*est

raamat

funktsionaalprogrammeerimine (märksõna)

teaviku laadid

märksõna 1