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
type-driven development (keyword)
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
1
Look more..
(2/280)
Export
export all inquiry results
(1)
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
book article
Term search in Rust
Annus, Tavo
;
Joram, Philipp
TyDe 2024: Proceedings of the 9th ACM SIGPLAN International Workshop on Type-Driven Development
2024
/
p. 62-73
https://doi.org/10.1145/3678000.3678210
Article at Scopus
book article
Number of records 1, displaying
1 - 1
keyword
278
1.
type-driven development
2.
model driven development
3.
model-driven development
4.
ontology driven software development
5.
test driven development
6.
efficiency-driven and innovation-driven economies
7.
three-level T-type quasi-impedance-source inverter (3L-T-type qZSI)
8.
buoyancy-driven flows
9.
current-driven transport
10.
data driven planning
11.
data-driven
12.
data-driven characterization
13.
data-driven condition monitoring
14.
data-driven control
15.
Data-driven decision-making
16.
data-driven diagnostics
17.
data-driven imputation
18.
Data-driven method
19.
data-driven model
20.
data-driven modeling
21.
data-driven optimization
22.
data-driven policy
23.
data-driven public services
24.
data-driven strategic planning
25.
data-driven techniques
26.
demand-driven acquisitions
27.
demand-driven programs
28.
Density-driven overfows
29.
design-driven business model
30.
design-driven innovation
31.
design-driven innovations
32.
economy-driven innovative activity
33.
event-driven
34.
event-driven data
35.
industry driven regulations
36.
IoT driven food and agriculture
37.
knowledge driven manufacturing
38.
Model Driven Architecture
39.
model driven engineering
40.
model-driven architecture
41.
model-driven design
42.
model-driven software engineering
43.
patron-driven
44.
performance-driven
45.
performance-driven design
46.
performance-driven urban design
47.
plan-driven methods
48.
policy-driven electronic governance
49.
science-driven models
50.
semantics-driven recommendation
51.
simulations-driven design
52.
TDABC (time-driven ABC)
53.
technology-driven SMEs
54.
tectonic-driven diagenesis
55.
test driven modelling
56.
time-driven activity-based costing
57.
time-driven activity-based costing, TDABC
58.
user-driven design processes
59.
user-driven innovation
60.
wind-driven rain
61.
wind-driven sound
62.
Abel type integral equations
63.
atrium-type buildings
64.
Blackman- and Rogosinski-type approximation processes
65.
Blackman-type approximation processes
66.
Boussinesq-type equation
67.
Boussinesq-type equations
68.
case-type furniture
69.
cell type-specific gene expression
70.
cosine-type approximation processes
71.
dependent type theory
72.
direct matrix type
73.
DyP-type peroxidases
74.
effect of cellulose type and DP
75.
electrode type
76.
entity type
77.
external wall type
78.
flow of the “gas–solid particles” type
79.
fluorite-type fluorides
80.
Gauss-Newton-type methods
81.
Gauss–Newton-type methods
82.
generalized Kantorovich-type sampling operators
83.
grounding type
84.
homotopy type theory
85.
hypercholesterolemia type II
86.
ideal type
87.
industry type
88.
massive machine type communication (mMTC)
89.
massive machine-type communication (mMTC)
90.
massive machine-type communication devices (mMTC)
91.
massive machine-type communications (mMTC)
92.
massive Machine-Type connections (mMTC)
93.
mixed type building
94.
multi-type dislocation substructure
95.
narcolepsy type 1
96.
optical water type
97.
Piston type wave maker
98.
porcine circovirus type 2 (PCV2) ORF3
99.
porcine circovirus type-2
100.
proprotein convertase subtilisin/kexin type 9
101.
proprotein convertase subtilisin−kexin type (9PCSK9)
102.
p-type
103.
p-type 4H-SiC
104.
p-type transparent semiconductor
105.
quasi-impedance-source inverter (3L-T-type qZS inverter)
106.
quasi-impedance-source T-type inverters
107.
recurrence type
108.
Reetz-Keck-type allylation
109.
Rogosinski-type approximation processes
110.
R-type anion currents
111.
ryanodine receptor type-2 (RyR)
112.
singular integral of Fejér's type
113.
spoke-type PM machine
114.
Swiss-type cheese
115.
three-level T-type
116.
three-level T-type inverter
117.
ticked cubical type theory
118.
timber saddle-shaped (hypar-type) shell roof
119.
transparent p-type electrode
120.
T-type inverter
121.
type
122.
type 2 diabetes mellitus
123.
type I collagen
124.
type Q semigroups
125.
type theory
126.
type V hyperlipidemia
127.
type vs. occurrence-referential notations
128.
type vs. occurrence-referentiality
129.
type-2-diabetes
130.
WordNet type dictionaries
131.
3-level T-type inverter
132.
academic development in the Baltic countries
133.
ADM (Architecture Development Method)
134.
agile development
135.
alloy systems and alloy development
136.
anther development
137.
archetypes and archetype patterns based development
138.
barriers of development
139.
Bologna development
140.
brain development
141.
business development
142.
business development models
143.
capability development techniques
144.
Capability Maturity Model Integration for Development
145.
capacity development
146.
career development
147.
child development
148.
client-vendor relationship in software development
149.
collaborative development
150.
commercial development
151.
community development
152.
comparative economic development
153.
complementary development
154.
continuing professional development
155.
course development
156.
course development strategies
157.
curricula development
158.
curriculum development
159.
cybersecurity maturity tool development for schools
160.
cybersecurity workforce development
161.
design development
162.
development
163.
development and humanitarian aid
164.
Development Bank of Latin
165.
development banks
166.
development economics
167.
development funding
168.
development of accounting
169.
development of economic thought
170.
development of LBS
171.
development of security cameras
172.
development of SMEs
173.
development of the European building process
174.
development path
175.
development policy
176.
development processes
177.
development studies
178.
Development support
179.
development theory
180.
digital development of the EU
181.
Digital Government Theory: Development and Application
182.
DSL development
183.
dune development
184.
dynamic capabilities development
185.
Economic Development
186.
Economic Development and Growth
187.
economic development policy
188.
education for sustainable development
189.
embryonic development
190.
entrepreneurship development
191.
European e-development
192.
European standards for sustainable development
193.
European Union development
194.
European values and digital development
195.
exploit development
196.
faculty development
197.
financial development
198.
flower development
199.
FPGA-based development boards
200.
framework development
201.
groundwater development
202.
housing development
203.
hub development
204.
human development
205.
human resource development
206.
ICT development success criterions
207.
Information and Communication Technologies for Development
208.
information systems development
209.
infrastructure development
210.
institutional development
211.
intelligent manufacturing systems development
212.
International Development
213.
Internet development
214.
IT and product development
215.
lean development
216.
Lean Product Development
217.
logistics hub development
218.
low-code development
219.
management development
220.
media development
221.
mixed-use development
222.
model-based development
223.
model-based software development
224.
NB-IoT development platform
225.
neural development
226.
neuronal development
227.
new product development
228.
Nunavut natural resource development
229.
personal development
230.
policy development
231.
product and service development
232.
product development
233.
professional workforce development
234.
programme development
235.
public infrastructural development
236.
R&D (research and development)
237.
rapid application development
238.
region business culture and development
239.
regional development
240.
research and development
241.
research and development (R&D)
242.
research and development jobs
243.
research, development and innovation (RDI)
244.
risk evaluation model development
245.
rural development
246.
safety development
247.
scale development
248.
self-development
249.
self-efficacy development
250.
skills development
251.
smart city development
252.
smart rural development
253.
smart transport development
254.
social development
255.
social self-development
256.
socioeconomic development
257.
socio-economic development
258.
software development
259.
software development concepts
260.
spread and development of new policy instruments (environmental taxes and charges system)
261.
strength development
262.
sustainable development
263.
sustainable development goal
264.
Sustainable Development Goals
265.
sustainable development management
266.
sustainable production development
267.
sustainable regional development
268.
sustainable spatial development
269.
sustainable tourism development
270.
sustainable urban development
271.
synbio development
272.
The organisation for economic cooperation and development (OECD)
273.
theory of economic development
274.
tourism development
275.
United Nations Sustainable Development Goals
276.
urban development
277.
use-development communication
278.
user interface development
subject term
2
1.
European Regional Development Fund
2.
International Association for Management Development in Dynamic Societies
×
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