Showing
1 - 10
results of
10
for search '
"programming languages"
'
Skip to content
Toggle navigation
0
items
(Full)
All Fields
Title
Author
Subject
Find
Advanced
Search History
Search by Map:
Arctic
Antarctic
Reset Filters
Content Provider:
ACM Publications (Association for Computing Machinery)
Reset Filters
Show filters (1)
Content Provider:
ACM Publications (Association for Computing Machinery)
Search Results - Open Polar - "programming languages"
Search Results
Showing
1 - 10
results of
10
for search '
"programming languages"
'
, query time: 0.09s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Author
Title
List
Grid
Visual
Select Page | with selected:
Email
Export
Print
Add to Book Bag
Database hosting in strongly-typed
programming
languages
Get access
Get access
Explicit Refinement Types
Get access
Get access
A Formal System for Reasoning about Programs Accessing a Relational Database
Get access
Get access
Mechanizing Session-Types using a Structural View: Enforcing Linearity without L...
Get access
Get access
Sound garbage collection for C using pointer provenance
Get access
Get access
Orca: GC and type system co-design for actor languages
Get access
Get access
GESTALT
Get access
Get access
Implementing typeful program transformations
Get access
Get access
Comparing data synchronization in Ada 9X and Orca
Get access
Get access
A Smart Status Based Monitoring Algorithm for the Dynamic Analysis of Memory Saf...
Get access
Get access
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
Article in Journal/Newspaper
10
Author
Bal, Henri E.
1
Banerjee, Subarno
1
Bernstein, Phillip A.
1
Bever, Martin
1
Casanova, Marco R.
1
Chen, Chiyan
1
Chen, Peter M.
1
Chen, Zhe
1
Clebsch, Sylvan
1
Devecsery, David
1
Drossopoulou, Sophia
1
Franco, Juliana
1
Ghalayini, Jad Elkhaleq
1
Heytens, Michael L.
1
Kavanagh, Ryan
1
Krishnaswami, Neel
1
Lockemann, Peter C.
1
Ma, Yingzi
1
Narayanasamy, Satish
1
Nikhil, Rishiyur S.
1
Pientka, Brigitte
1
Sano, Chuta
1
Sui, Yulei
1
Vitek, Jan
1
Wrigstad, Tobias
1
Xi, Hongwei
1
Xue, Jingling
1
Yan, Rui
1
Yang, Albert Mingkun
1
see all ...
Content Provider
ACM Publications (Association for Computing Machinery)
Language
English
10
Open Polar Keyword
DML
5
Orca
2
The Pointers
2
Beluga
1
Beluga*
1
see all ...
Loading...