|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 5 publication records. Showing 5 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Karl Naden, Robert Bocchino, Jonathan Aldrich, Kevin Bierhoff |
A type system for borrowing permissions.  |
POPL  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Joshua Sunshine, Sven Stork, Karl Naden, Jonathan Aldrich |
Changing state in the plaid language.  |
OOPSLA Companion  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Aldrich, Robert Bocchino, Ronald Garcia, Mark Hahnenberg, Manuel Mohr, Karl Naden, Darpan Saini, Sven Stork, Joshua Sunshine, Éric Tanter, Roger Wolff |
Plaid: a permission-based programming language.  |
OOPSLA Companion  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Joshua Sunshine, Karl Naden, Sven Stork, Jonathan Aldrich, Éric Tanter |
First-class state change in plaid.  |
OOPSLA  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Aldrich, Ronald Garcia, Mark Hahnenberg, Manuel Mohr, Karl Naden, Darpan Saini, Sven Stork, Joshua Sunshine, Éric Tanter, Roger Wolff |
Permission-based programming languages.  |
ICSE  |
2011 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #5 of 5 (100 per page; Change: )
|
|