Searching - TalTech Research Portal

Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles

Research Groups

Help and information

Searching

Proceedings of the ACM on Programming Languages (source)

—

—

—

—

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 4
Look more.. (2/81)
Export

export all inquiry results (4)
Save TXT fail

print
Open for editing with marked entries my bookmarks

display

sort
1

journal article EST / journal article ENG

Flexible presentations of graded monadsKatsumata, Shin-ya; McDermott, Dylan; Uustalu, Tarmo; Wu, NicolasProceedings of the ACM on Programming Languages2022 / art. 123, 28 p https://doi.org/10.1145/3547654 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG
2

journal article EST / journal article ENG

Functorial semantics for partial theoriesDi Liberti, Ivan; Loregian, Fosco; Nester, Chad Mitchell; Sobocinski, Pawel MariaProceedings of the ACM on Programming Languages2021 / art. 57, 28 p. : ill https://doi.org/10.1145/3434338 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG
Related publications 1
- Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad
3

journal article

RE#: High performance derivative-based regex matching with intersection, complement, and restricted lookaroundsVaratalu, Ian Erik; Veanes, Margus; Ernits, Juhan-PeepProceedings of the ACM on Programming Languages2024 / art. 1, 32 p https://doi.org/10.1145/3704837

journal article
4

journal article EST / journal article ENG

Securing verified IO programs against unverified code in F∗Andrici, Cezar-Constantin; Ciobâca, Stefan; HriÅ£cu, Catalin; Martínez, Guido; Rivas, Exequiel; Tanter, Éric; Winterhalter, ThéoProceedings of the ACM on programming languages2024 / art. 74, 34 p. : ill https://doi.org/10.1145/3632916 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

1. computer programming languages
2. object-oriented programming languages
3. problem-oriented programming languages
4. programming languages
5. semantics of programming languages
6. ACM (average current mode) control
7. atoms of regular languages
8. Common European Framework of Reference for Languages
9. context free languages
10. context-free languages
11. data flow languages
12. domain specific languages
13. formal languages
14. Indigenous languages
15. less-resourced languages
16. low-resource languages
17. modeling languages
18. object constraint languages
19. problem-oriented languages
20. query languages
21. regular languages
22. textual domain specific languages
23. under-resourced languages
24. adaptive programming
25. advanced programming and software
26. API (Application Programming Interface)
27. automatic programming
28. C++ programming language
29. chance-constrained programming
30. computer programming
31. constraint logic programming
32. constraint logic programming (LP) (CLP)
33. constraint programming
34. convex programming
35. dataflow programming
36. degenerate and infeasible linear programming problems
37. dependently typed programming
38. discrete-convex programming
39. dynamic programming
40. Extreme Programming
41. functional programming
42. functional reactive programming
43. game programming
44. generative programming
45. genetic programming
46. hardware close programming
47. Inductive logic programming
48. initial solution to the linear programming problem
49. in-system programming
50. integer linear programming
51. integer linear programming (ILP)
52. integrated programming system
53. intelligent programming environment
54. linear integer programming
55. linear programming
56. logarithmic fuzzy preference programming (LFPP)
57. mathematical programming
58. mathematical structures in functional programming
59. mixed integer linear programming
60. mixed integer linear programming (MILP)
61. mixed integer nonlinear programming
62. mixed-integer linear programming
63. multi-objective nonlinear programming
64. Nc-programming
65. object-oriented programming
66. pair-programming
67. programming
68. programming and vision
69. programming basics
70. programming education
71. programming time
72. quadratic programming
73. robot programming
74. skills assessment of programming and mathematics
75. software tools for robot programming
76. solving linear programming problems
77. stochastic dynamic programming
78. stochastic programming
79. structured programming
80. wireless programming

1. Tallinn Polytechnic Institute, Chair of Foreign Languages

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