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
Proceedings of the ACM on Programming Languages (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
6
Look more..
(2/82)
Export
export all inquiry results
(6)
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 EST
/
journal article ENG
Flexible presentations of graded monads
Katsumata, Shin-ya
;
McDermott, Dylan
;
Uustalu, Tarmo
;
Wu, Nicolas
Proceedings of the ACM on Programming Languages
2022
/
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 theories
Di Liberti, Ivan
;
Loregian, Fosco
;
Nester, Chad Mitchell
;
Sobocinski, Pawel Maria
Proceedings of the ACM on Programming Languages
2021
/
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 EST
/
journal article ENG
RE#: High performance derivative-based regex matching with intersection, complement, and restricted lookarounds
Varatalu, Ian Erik
;
Veanes, Margus
;
Ernits, Juhan-Peep
Proceedings of the ACM on Programming Languages
2024
/
32 p. : ill
https://doi.org/10.1145/3704837
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
4
journal article EST
/
journal article ENG
SecRef★: Securely Sharing Mutable References betweenVerified and Unverified Code in F★
Andrici, Cezar-Constantin
;
Ahman, Danel
;
Hritcu, Catalin
;
Icleanu, Ruxandra
;
Martinez, Guido
;
Rivas, Exequiel
;
Winterhalter, Theo
Proceedings of the ACM on Programming Languages
2025
/
art 253, p. 510-540
https://doi.org/10.1145/3747522
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
5
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éo
Proceedings of the ACM on programming languages
2024
/
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
6
journal article
Symbolic Automata: Omega-Regularity Modulo Theories
Veanes, Margus
;
Ball, Thomas
;
Ebner, Gabriel
;
Zhuchko, Ekaterina
Proceedings of the ACM on Programming Languages
2025
/
art. 2, p. 33-66
https://doi.org/10.1145/3704838
journal article
Number of records 6, displaying
1 - 6
keyword
81
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.
computer systems programming
32.
constraint logic programming
33.
constraint logic programming (LP) (CLP)
34.
constraint programming
35.
convex programming
36.
dataflow programming
37.
degenerate and infeasible linear programming problems
38.
dependently typed programming
39.
discrete-convex programming
40.
dynamic programming
41.
Extreme Programming
42.
functional programming
43.
functional reactive programming
44.
game programming
45.
generative programming
46.
genetic programming
47.
hardware close programming
48.
Inductive logic programming
49.
initial solution to the linear programming problem
50.
in-system programming
51.
integer linear programming
52.
integer linear programming (ILP)
53.
integrated programming system
54.
intelligent programming environment
55.
linear integer programming
56.
linear programming
57.
logarithmic fuzzy preference programming (LFPP)
58.
mathematical programming
59.
mathematical structures in functional programming
60.
mixed integer linear programming
61.
mixed integer linear programming (MILP)
62.
mixed integer nonlinear programming
63.
mixed-integer linear programming
64.
multi-objective nonlinear programming
65.
Nc-programming
66.
object-oriented programming
67.
pair-programming
68.
programming
69.
programming and vision
70.
programming basics
71.
programming education
72.
programming time
73.
quadratic programming
74.
robot programming
75.
skills assessment of programming and mathematics
76.
software tools for robot programming
77.
solving linear programming problems
78.
stochastic dynamic programming
79.
stochastic programming
80.
structured programming
81.
wireless programming
author
1
1.
Tallinn Polytechnic Institute, Chair of Foreign Languages
×
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