Showing
1 - 3
results of
3
for search '
'
Skip to content
Toggle navigation
0
items
(Full)
All Fields
Title
Author
Subject
Find
Advanced
Search History
Search by Map:
Arctic
Antarctic
Reset Filters
Topic:
programming languages
Reset Filters
Show filters (1)
Topic:
programming languages
Search Results - Open Polar
Search Results
Showing
1 - 3
results of
3
for search '
'
, query time: 0.06s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Author
Title
List
Grid
Visual
Select Page | with selected:
Email
Export
Print
Add to Book Bag
Select result number 1
1
A type checking algorithm for qualified session types
by
Giunti, Marco
Published in
Electronic Proceedings in Theoretical Computer Science
(2011)
Get access
Get access
Get access
Get access
Conference Object
Select result number 2
2
A type checking algorithm for qualified session types
by
Giunti, Marco
Published in
Electronic Proceedings in Theoretical Computer Science
(2011)
Get access
Get access
Get access
Get access
Conference Object
Select result number 3
3
Računalna glazba
by
Gugo, Duje
Published 2019
Get access
Get access
Get access
Get access
Bachelor Thesis
Select Page | with selected:
Email
Export
Print
Add to Book Bag
Search Tools:
Get RSS Feed
Back
Narrow Search
Year of Publication
From:
To:
Document Type
Conference Object
2
Bachelor Thesis
1
Author
Giunti, Marco
2
Gugo, Duje
1
Topic
programming languages
ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages/F.3.2.5: Program analysis
2
Session types
2
[INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
2
computer security
2
logics of programs
2
pi calculus
2
program analysis
2
type systems
2
DRUŠTVENE ZNANOSTI. Informacijske i komunikacijske znanosti
1
SOCIAL SCIENCES. Information and Communication Sciences
1
composition
1
computer music
1
digital sound
1
digitalni zvuk
1
programski jezici
1
računalna glazba
1
skladanje
1
see all ...
Content Provider
Archive ouverte HAL (Hyper Article en Ligne, CCSD - Centre pour la Communication Scientifique Directe)
1
Croatian Digital Theses Repository (National and University Library in Zagreb)
1
École Polytechnique, Université Paris-Saclay: HAL
1
Language
English
2
Croatian
1
Open Polar Keyword
Iceland
2
sami
1
Loading...