Showing
1 - 9
results of
9
for search '
ACM Press
'
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:
Unknown
Reset Filters
Show filters (1)
Content Provider:
Unknown
Search Results - Open Polar - ACM Press
Search Results
Showing
1 - 9
results of
9
for search '
ACM Press
'
, query time: 0.05s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Author
Title
List
Grid
Visual
Select Page | with selected:
Email
Export
Print
Add to Book Bag
PermaDAQ: A scientific instrument for precision sensing and data recovery in env...
Get access
Get access
Sami Khuri
Get access
Get access
CCured: Type-Safe Retrofitting of Legacy Code
Get access
Get access
Age-Based Garbage Collection
Get access
Cost Recurrences for DML Programs
Get access
Get access
Implementing Typeful Program Transformations
Get access
Get access
A Dependently Typed Assembly Language
Get access
Get access
Semantics for Communication Primitives in a Polymorphic Language
Get access
Get access
Semantics for Communication Primitives in a Polymorphic Language
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
Text
9
Author
Atsushi Ohori
2
Hongwei Xi
2
Kazuhiko Kato
2
Andreas Hasler
1
Andreas Meier
1
Bernd Grobauer
1
Chiyan Chen
1
Christian Tschudin
1
Darko Stefanovic
1
George C. Necula
1
Igor Talzi
1
J. Eliot B. Moss
1
Jan Beutel
1
Jorg Heitkotter
1
Kathryn S. McKinley
1
Lothar Thiele
1
Matthias Woehrle
1
Mustafa Yuecel
1
Robert Harper
1
Roman Lim
1
Sami Khuri
1
San Jos'e
1
Scott Mcpeak
1
Stephan Gruber
1
Thomas Back
1
Westley Weimer
1
see all ...
Topic
Dependent
1
Dependent Types
1
Content Provider
Unknown
Language
English
9
Open Polar Keyword
DML
5
The Pointers
2
permafrost
1
sami
1
see all ...
Loading...