Searching - TalTech Research Portal

Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles

Research Groups

Help and information

Searching

dependently typed programming (keyword)

—

—

—

—

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..

Loading..

TalTech department

Loading..

Loading..

Loading..

name of the person

Loading..

Loading..

Clear

Number of records 3
Look more.. (1/56)
Export

export all inquiry results (3)
Save TXT fail

Save PDF fail

print
Open for editing with marked entries my bookmarks

display

sort
1

journal article

Certified CYK parsing of context-free languagesFirsov, Denis; Uustalu, TarmoJournal of logical and algebraic methods in programming2014 / p. 459-468

journal article
2

journal article EST / journal article ENG

Distributive laws of directed containersAhman, Danel; Uustalu, TarmoProgress in Informatics2013 / 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

journal article EST / journal article ENG

When is a container a comonad?Ahman, Danel; Chapman, James; Uustalu, TarmoLogical methods in computer science2014 / 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 3, displaying 1 - 3

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 reactive programming
18. game programming
19. generative programming
20. genetic programming
21. hardware close programming
22. initial solution to the linear programming problem
23. in-system programming
24. integer linear programming
25. integer linear programming (ILP)
26. integrated programming system
27. intelligent programming environment
28. linear integer programming
29. linear programming
30. logarithmic fuzzy preference programming (LFPP)
31. mathematical programming
32. mathematical structures in functional programming
33. mixed integer linear programming
34. mixed integer linear programming (MILP)
35. mixed integer nonlinear programming
36. mixed-integer linear programming
37. multi-objective nonlinear programming
38. Nc-programming
39. object-oriented programming
40. object-oriented programming languages
41. pair-programming
42. problem-oriented programming languages
43. programming
44. programming and vision
45. programming basics
46. programming education
47. programming languages
48. programming time
49. quadratic programming
50. robot programming
51. semantics of programming languages
52. solving linear programming problems
53. stochastic dynamic programming
54. stochastic programming
55. structured programming
56. wireless programming

match

sort

Otsing
Valikud 0

year of publication

author

TalTech department

subject term

series

name of the person

keyword

TalTech Library

Akadeemia tee 1

13519

TalTech homepage TalTech Library homepage Digital Collection of TalTech Library Digiteek Repository

6203551

data@taltech.ee

TalTech Raamatukogu