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
Open Publishing Association (publisher)
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 publication
..
year
year of publication
Loading..
author
Loading..
TTÜ department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
26
Look more..
(2/79)
Export
export all inquiry results
(26)
Save TXT fail
Save PDF 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
26
book article EST
/
book article ENG
What makes a strong monad?
McDermott, Dylan
;
Uustalu, Tarmo
Proceedings of the Ninth Workshop on Mathematically Structured Functional Programming
2022
/
p. 113-133
https://doi.org/10.4204/EPTCS.360.6
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
Number of records 26, displaying
26 - 26
previous
1
2
next
keyword
73
1.
FMI open data
2.
fractional open circuit voltage
3.
inventory of open stacks
4.
linked open data
5.
linked open statistical data
6.
linked open statistics
7.
open architecture for information exchange
8.
open architecture model
9.
open cast
10.
open circuit fault
11.
open cloud ecosystem
12.
open cooperativism
13.
open data
14.
open data ecosystem
15.
open data format
16.
open data policies
17.
open design
18.
open education
19.
open educational resources
20.
Open Estonia Foundation
21.
open games
22.
open geospatial consortium
23.
open government data
24.
open government data (OGD)
25.
open graphs
26.
open habitat
27.
open hardware
28.
open innovation
29.
open notes
30.
open office
31.
open online courses
32.
open optical networking
33.
open plan office
34.
open pour concrete casting
35.
open retail electricity market
36.
open ring substrate
37.
open self‐ventilated machines
38.
Open Skies agreement
39.
open society
40.
open source
41.
open source hardware
42.
open source intelligence
43.
Open Source Intelligence (OSINT)
44.
open source intelligence tools
45.
open source software
46.
open source-based innovation
47.
open transitions
48.
open value network
49.
open voting
50.
open-economy dynamic general equilibrium model
51.
open-loop stability
52.
open-source
53.
open-source components
54.
open-source hardware
55.
open-source technologies
56.
OSV (open self‐ventilated) machines
57.
TOGAF (The Open Group Architecture Framework)
58.
topographic access to open stacks
59.
ASEAN (Association of Southeast Asian Nations)
60.
association
61.
association of local-self government
62.
association of local-self governments
63.
association of undertakings
64.
association rule
65.
association rule mining
66.
association rules
67.
European-African Hepato-Pancreato-Biliary Association (E-AHPBA)
68.
EU-Ukraine association agreement
69.
genome-wide association study (GWAS)
70.
numerical association rule mining
71.
quantitative association rule mining
72.
statine-fenofibrate association
73.
verification, assertion-based verification, automatic assertion mining, data mining, association rule mining
subject term
6
1.
Baltic Open
2.
EuroScience Open Forum
3.
Nõmme Open
4.
Open Multilingual Wordnet
5.
European Logistics Association
6.
International Association for Management Development in Dynamic Societies
×
match
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TTÜ department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TTÜ department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT