|
Results
Found 5 publication records. Showing 5 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 22 | Henri E. Bal, M. Frans Kaashoek, Andrew S. Tanenbaum |
Orca: A Language For Parallel Programming of Distributed Systems.  |
IEEE Trans. Software Eng.  |
1992 |
DBLP DOI BibTeX RDF |
Orca language design, design choices, easy-to-use language, type-secure, clean semantics, Orca, distributed systems, parallel programming, parallel programming, parallel languages, parallel applications, reliable broadcasting, applications programmers |
| 15 | Michael Hanus |
A Functional and Logic Language with Polymorphic Types (Extended Abstract). |
DISCO |
1990 |
DBLP DOI BibTeX RDF |
|
| 10 | Anze Mihelic, Tomaz Hovelja, Simon L. R. Vrhovec |
Towards a delegation-type secure software development method. |
CECC |
2019 |
DBLP DOI BibTeX RDF |
|
| 10 | François Pottier |
A Simple View of Type-Secure Information Flow in the p-Calculus. |
CSFW |
2002 |
DBLP DOI BibTeX RDF |
|
| 10 | Malcolm P. Atkinson 0001, Ronald Morrison |
Polymorphic Names, Types, Constancy and Magic in a Type Secure Persistent Object Store. |
POS |
1987 |
DBLP BibTeX RDF |
|
Displaying result #1 - #5 of 5 (100 per page; Change: )
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license