Showing
1 - 5
results of
5
for search '
"SIGPLAN"
'
Skip to content
Toggle navigation
0
items
(Full)
All Fields
Title
Author
Subject
Find
Advanced
Search History
Search by Map:
Arctic
Antarctic
Reset Filters
Language:
unknown
Reset Filters
Show filters (1)
Language:
unknown
Search Results - Open Polar - "SIGPLAN"
Search Results
Showing
1 - 5
results of
5
for search '
"SIGPLAN"
'
, 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
Cost recurrences for DML programs
Get access
Get access
Cost recurrences for DML programs
Get access
Get access
CETS: Compiler Enforced Temporal Safety for C
Get access
Get access
Dependent types and Program Equivalence
Get access
Get access
Binders Unbound
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
Conference Object
5
Author
Grobauer, Bernd
2
Weirich, Stephanie
2
Zhao, Jianzhou
2
Jia, Limin
1
Martin, Milo
1
Nagarakatte, Santosh
1
Sheard, Tim
1
Sjoberg, Vilhelm
1
Yorgey, Brent A
1
Zdancewic, Stephan A
1
see all ...
Topic
Computer Sciences
3
Content Provider
University of Pennsylvania: ScholaryCommons@Penn
3
ACM Publications (Association for Computing Machinery)
2
Geographic location
Haskell
2
Handle The
1
Language
unknown
Open Polar Keyword
DML
3
Beluga
1
Beluga*
1
The Pointers
1
see all ...
Loading...