Toggle navigation
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Databases
Publications
Advanced search
My bookmarks
0
funktsionaalprogrammeerimine (subject term)
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
Add criteria
Simple search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publication
..
year
year of publication
Loading..
author
Loading..
TTÜ department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
16
Look more..
(1/1)
Export
export all inquiry results
(16)
Save TXT fail
Save PDF fail
print
Open for editing with marked entries
my bookmarks
display
Bibliographic view
Short view
sort
author ascending
author descending
year of publication ascending
year of publication descending
title ascending
title descending
1
journal article EST
/
journal article ENG
Abstract categorical semantics for resourceful functional reactive programming
Jeltsch, Wolfgang
Journal of logical and algebraic methods in programming
2016
/
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
journal article EST
/
journal article ENG
2
book
Advanced Functional Programming : 5th International School, AFP 2004 : Tartu, Estonia, August 14-21, 2004 : revised lectures
Vene, Varmo
;
Uustalu, Tarmo
2005
https://www.ester.ee/record=b2083926*est
book
3
book article
Comonadic functional attribute evaluation
Uustalu, Tarmo
;
Vene, Varmo
Sixth Symposium on Trends in Functional Programming : TFP 2005 : Tallinn, Estonia, 23-24 September 2005 : proceedings
2005
/
p. 33-43
https://artiklid.elnet.ee/record=b1019505*est
book article
4
journal article EST
/
journal article ENG
A divertimento on MonadPlus and nondeterminism
Uustalu, Tarmo
Journal of logical and algebraic methods in programming
2016
/
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
journal article EST
/
journal article ENG
5
book article
Foreford
Uustalu, Tarmo
ICFP'13 : proceedings of the 2013 ACM SIGPLAN International Conference on Functional Programming
2013
/
p. iii
book article
6
journal article
A framework for modelling, verification and transformation of concurrent imperative programs
Bortin, Maksym
arXiv.org
2020
/
57 p
https://arxiv.org/abs/2007.02261
https://doi.org/10.48550/arXiv.2007.02261
journal article
7
book article
Functional incremental computing
Firsov, Denis
;
Jeltsch, Wolfgang
Proceedings of the 8th Annual Conference of the Estonian National Doctoral School in Information and Communication Technologies : December 5-6, 2014, Rakvere
2014
/
p. 35-38
book article
8
journal article
Funktsionaalprogrammeerimine Excelis
Leis, Paul
Arvutustehnika ja Andmetöötlus
1996
/
6, lk. 19-24: ill
journal article
9
book article
Numerical method for stability analysis of functionally graded columns
Shvartsman, B.S.
;
Majak, Jüri
;
Kirs, Maarjus
Proceedings of the 9th International Conference of DAAAM Baltic Industrial Engineering, 24-26th April 2014, Tallinn, Estonia
2014
/
p. 65-70 : ill
book article
10
journal article
On the border between functional programming and program synthesis
Tõugu, Enn
Proceedings of the Estonian Academy of Sciences. Engineering
1998
/
2, p. 119-129
journal article
11
journal article
PhD abstracts
Hutton, Graham
Journal of functional programming
2017
/
art. e25, p. 1-18
https://doi.org/10.1017/s0956796817000181
journal article
12
book article EST
/
book article ENG
Purely functional incremental computing
Firsov, Denis
;
Jeltsch, Wolfgang
Programming Languages : 20th Brazilian Symposium, SBLP 2016, Maringa, Brazil, September 22-23, 2016 : proceedings
2016
/
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
book article EST
/
book article ENG
13
book
Sixth Symposium on Trends in Functional Programming : TFP 2005 : Tallinn, Estonia, 23-24 september 2005 : proceedings
Eekelen, M. van
2005
https://www.ester.ee/record=b2067158*est
book
14
book article
Teaduspreemia täppisteaduste alal tööde tsükli "Matemaatilised struktuurid funktsionaalprogrammeerimises" eest : Tarmo Uustalu
Uustalu, Tarmo
Eesti Vabariigi preemiad : teadus. F. J. Wiedemanni keeleauhind. Kultuur. Sport
2015
/
lk. 52-62 : portr
book article
15
book
TFP/ICFP/GPCE 2005 : Tallinn, Estonia, 23 September - 1 October 2005 : final programme
2005
https://www.ester.ee/record=b2076119*est
book
16
book
Workshop on Mathematically Structured Functional Programming : MSFP 2006 : Kuressaare, Estonia, 2 July 2006 : proceedings
2006
http://www.ester.ee/record=b2155741*est
book
Number of records 16, displaying
1 - 16
subject term
1
1.
funktsionaalprogrammeerimine
×
vaste
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TTÜ department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TTÜ department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT