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
Searching
My bookmarks
0
Journal of functional programming (source)
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
Add criteria
Advanced 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/117)
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
117
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 gene analysis
45.
functional groups
46.
functional institutional analysis
47.
functional ionic liquids
48.
functional iteration
49.
functional material
50.
functional materials
51.
functional models
52.
functional morphology
53.
functional polymer
54.
functional power plants
55.
functional power-plants
56.
functional prediction
57.
functional profiling
58.
functional properties
59.
functional recovery
60.
functional requirements
61.
functional safety
62.
functional self-test
63.
functional smoothie
64.
Functional specialist in AI for public services
65.
functional state of the muscles -tiredness
66.
functional stress programs
67.
functional test generation
68.
functional trait diversity
69.
functional verification
70.
functional-safety
71.
game programming
72.
generative programming
73.
genetic programming
74.
hardware close programming
75.
high-level functional fault model
76.
hybrid functional
77.
Inductive logic programming
78.
initial solution to the linear programming problem
79.
in-system programming
80.
integer linear programming
81.
integer linear programming (ILP)
82.
integrated programming system
83.
intelligent programming environment
84.
linear integer programming
85.
linear programming
86.
logarithmic fuzzy preference programming (LFPP)
87.
mathematical programming
88.
mixed integer linear programming
89.
mixed integer linear programming (MILP)
90.
mixed integer nonlinear programming
91.
mixed-integer linear programming
92.
multi-objective nonlinear programming
93.
Nc-programming
94.
non-robust and functional sensitization
95.
non-robust and functional sensitization of delay faults
96.
object-oriented programming
97.
object-oriented programming languages
98.
pair-programming
99.
plant-functional types
100.
problem-oriented programming languages
101.
programming
102.
programming and vision
103.
programming basics
104.
programming education
105.
programming languages
106.
programming time
107.
quadratic programming
108.
robot programming
109.
semantics of programming languages
110.
size of functional groups
111.
solving linear programming problems
112.
stochastic dynamic programming
113.
stochastic programming
114.
structured programming
115.
time-dependent density functional theory (TD-DFT)
116.
wireless programming
117.
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