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
dependently typed programming (keyword)
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
4
Look more..
(1/60)
Export
export all inquiry results
(4)
Save TXT 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
Certified CYK parsing of context-free languages
Firsov, Denis
;
Uustalu, Tarmo
Journal of logical and algebraic methods in programming
2014
/
p. 459-468
journal article
2
journal article EST
/
journal article ENG
Distributive laws of directed containers
Ahman, Danel
;
Uustalu, Tarmo
Progress in Informatics
2013
/
p. 3-18
https://doi.org/10.2201/NiiPi.2013.10.2
Journal metrics at Scopus
Article at Scopus
journal article EST
/
journal article ENG
3
book article EST
/
book article ENG
Quotienting the delay monad by weak bisimilarity
Chapman, James
;
Uustalu, Tarmo
;
Veltri, Niccolò
Theoretical Aspects of Computing - ICTAC 2015 : 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings
2015
/
p. 110 - 125
https://doi.org/10.1007/978-3-319-25150-9_8
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
4
journal article EST
/
journal article ENG
When is a container a comonad?
Ahman, Danel
;
Chapman, James
;
Uustalu, Tarmo
Logical methods in computer science
2014
/
p. 1-48 : ill
https://doi.org/10.2168/LMCS-10(3:14)2014
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Number of records 4, displaying
1 - 4
keyword
60
1.
dependently typed programming
2.
adaptive programming
3.
advanced programming and software
4.
API (Application Programming Interface)
5.
automatic programming
6.
C++ programming language
7.
chance-constrained programming
8.
computer programming
9.
computer programming languages
10.
constraint programming
11.
convex programming
12.
dataflow programming
13.
degenerate and infeasible linear programming problems
14.
discrete-convex programming
15.
dynamic programming
16.
Extreme Programming
17.
functional programming
18.
functional reactive programming
19.
game programming
20.
generative programming
21.
genetic programming
22.
hardware close programming
23.
Inductive logic programming
24.
initial solution to the linear programming problem
25.
in-system programming
26.
integer linear programming
27.
integer linear programming (ILP)
28.
integrated programming system
29.
intelligent programming environment
30.
linear integer programming
31.
linear programming
32.
logarithmic fuzzy preference programming (LFPP)
33.
mathematical programming
34.
mathematical structures in functional programming
35.
mixed integer linear programming
36.
mixed integer linear programming (MILP)
37.
mixed integer nonlinear programming
38.
mixed-integer linear programming
39.
multi-objective nonlinear programming
40.
Nc-programming
41.
object-oriented programming
42.
object-oriented programming languages
43.
pair-programming
44.
problem-oriented programming languages
45.
programming
46.
programming and vision
47.
programming basics
48.
programming education
49.
programming languages
50.
programming time
51.
quadratic programming
52.
robot programming
53.
semantics of programming languages
54.
skills assessment of programming and mathematics
55.
software tools for robot programming
56.
solving linear programming problems
57.
stochastic dynamic programming
58.
stochastic programming
59.
structured programming
60.
wireless programming
×
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