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
Journal of functional programming (source)
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
TalTech subject term
TalTech 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
TalTech subject term
TalTech 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
TalTech subject term
TalTech 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
TalTech subject term
TalTech 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
TalTech subject term
TalTech 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 publications
..
year
year of publication
Loading..
author
Loading..
TalTech department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
2
Look more..
(1/119)
Export
export all inquiry results
(2)
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
Finiteness and rational sequences, constructively
Uustalu, Tarmo
;
Veltri, Niccolo
Journal of functional programming
2017
/
art. e13, p. 1-20
https://doi.org/10.1017/S0956796817000041
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
2
journal article
PhD abstracts
Hutton, Graham
Journal of functional programming
2017
/
art. e25, p. 1-18
https://doi.org/10.1017/s0956796817000181
journal article
Number of records 2, displaying
1 - 2
keyword
119
1.
functional reactive programming
2.
mathematical structures in functional programming
3.
adaptive programming
4.
advanced programming and software
5.
API (Application Programming Interface)
6.
automatic programming
7.
C++ programming language
8.
chance-constrained programming
9.
computer programming
10.
computer programming languages
11.
constraint programming
12.
convex programming
13.
cross-functional teams
14.
dataflow programming
15.
degenerate and infeasible linear programming problems
16.
density functional calculations
17.
density functional theory
18.
density functional theory (DFT)
19.
dependently typed programming
20.
discrete-convex programming
21.
dynamic programming
22.
extra-functional verification
23.
Extreme Programming
24.
FIM (functional independence measure)
25.
FIM + FAM (functional assessment measure)
26.
functional diversity
27.
functional approximation
28.
functional biomaterials
29.
functional BIST
30.
functional capacity of cooperation
31.
functional capacity of integration
32.
functional complexes
33.
functional components
34.
functional connectivity
35.
functional data analysis
36.
functional derating
37.
functional de-rating
38.
functional dispersion
39.
functional diversity
40.
functional equivalence principle
41.
Functional Failure Rate (FFR)
42.
functional fault model
43.
functional food
44.
functional food ingredients
45.
functional gene analysis
46.
functional groups
47.
functional institutional analysis
48.
functional ionic liquids
49.
functional iteration
50.
functional material
51.
functional materials
52.
functional models
53.
functional morphology
54.
functional polymer
55.
functional power plants
56.
functional power-plants
57.
functional prediction
58.
functional profiling
59.
functional properties
60.
functional recovery
61.
functional requirements
62.
functional safety
63.
functional self-test
64.
functional smoothie
65.
Functional specialist in AI for public services
66.
functional state of the muscles -tiredness
67.
functional stress programs
68.
functional test generation
69.
functional trait diversity
70.
functional verification
71.
functional-safety
72.
game programming
73.
generative programming
74.
genetic programming
75.
hardware close programming
76.
high-level functional fault model
77.
hybrid functional
78.
Inductive logic programming
79.
initial solution to the linear programming problem
80.
in-system programming
81.
integer linear programming
82.
integer linear programming (ILP)
83.
integrated programming system
84.
intelligent programming environment
85.
linear integer programming
86.
linear programming
87.
logarithmic fuzzy preference programming (LFPP)
88.
mathematical programming
89.
mixed integer linear programming
90.
mixed integer linear programming (MILP)
91.
mixed integer nonlinear programming
92.
mixed-integer linear programming
93.
multi-objective nonlinear programming
94.
Nc-programming
95.
non-robust and functional sensitization
96.
non-robust and functional sensitization of delay faults
97.
object-oriented programming
98.
object-oriented programming languages
99.
pair-programming
100.
plant-functional types
101.
problem-oriented programming languages
102.
programming
103.
programming and vision
104.
programming basics
105.
programming education
106.
programming languages
107.
programming time
108.
quadratic programming
109.
robot programming
110.
semantics of programming languages
111.
size of functional groups
112.
skills assessment of programming and mathematics
113.
solving linear programming problems
114.
stochastic dynamic programming
115.
stochastic programming
116.
structured programming
117.
time-dependent density functional theory (TD-DFT)
118.
wireless programming
119.
USN Journal
×
match
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TalTech department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TalTech department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT