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/70)
Export

export all inquiry results (4)
Save TXT fail

Save PDF 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 Gadda, Exequiel Matías; 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. atoms of regular languages
7. Common European Framework of Reference for Languages
8. data flow languages
9. domain specific languages
10. less-resourced languages
11. low-resource languages
12. modeling languages
13. object constraint languages
14. problem-oriented languages
15. query languages
16. regular languages
17. textual domain specific languages
18. under-resourced languages
19. adaptive programming
20. advanced programming and software
21. API (Application Programming Interface)
22. automatic programming
23. C++ programming language
24. chance-constrained programming
25. computer programming
26. constraint programming
27. convex programming
28. dataflow programming
29. degenerate and infeasible linear programming problems
30. dependently typed programming
31. discrete-convex programming
32. dynamic programming
33. Extreme Programming
34. functional reactive programming
35. game programming
36. generative programming
37. genetic programming
38. hardware close programming
39. initial solution to the linear programming problem
40. in-system programming
41. integer linear programming
42. integer linear programming (ILP)
43. integrated programming system
44. intelligent programming environment
45. linear integer programming
46. linear programming
47. logarithmic fuzzy preference programming (LFPP)
48. mathematical programming
49. mathematical structures in functional programming
50. mixed integer linear programming
51. mixed integer linear programming (MILP)
52. mixed integer nonlinear programming
53. mixed-integer linear programming
54. multi-objective nonlinear programming
55. Nc-programming
56. object-oriented programming
57. pair-programming
58. programming
59. programming and vision
60. programming basics
61. programming education
62. programming time
63. quadratic programming
64. robot programming
65. solving linear programming problems
66. stochastic dynamic programming
67. stochastic programming
68. structured programming
69. 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