The slam calculus: programming with secrecy and integrity (1998)
Cached
Download Links
- [flint.cs.yale.edu]
- [ftp.research.bell-labs.com]
- [ftp.research.bell-labs.com]
- DBLP
Other Repositories/Bibliography
by
Nevin Heintze
,
Jon G. Riecke
| Venue: | In POPL ’98: Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages |
| Citations: | 214 - 1 self |
Document Versions
| The slam calculus: programming with secrecy and integrity –Nevin Heintze, Jon G. Riecke — 1998 — In POPL ’98: Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages |
| The SLam Calculus: Programming with Secrecy and Integrity –Nevin Heintze, Jon G. Riecke — 1998 — In Proc. 25th ACM Symp. on Principles of Programming Languages (POPL |
| The SLam Calculus: Programming with Secrecy and Integrity –Nevin Heintze, Jon G. Riecke — 1998 |
