Secure Distributed Programming with Value-Dependent Types (English)
- New search for: Swamy, N.
- New search for: Chen, J.
- New search for: Fournet, C.
- New search for: Strub, P.-Y.
- New search for: Bhargavan, K.
- New search for: Yang, J.
- New search for: Swamy, N.
- New search for: Chen, J.
- New search for: Fournet, C.
- New search for: Strub, P.-Y.
- New search for: Bhargavan, K.
- New search for: Yang, J.
In:
Proceedings of the 2011 ACM SIGPLAN international conference on functional programming: ICFP'11
9
;
266-278
;
2011
-
ISSN:
- Conference paper / Print
-
Title:Secure Distributed Programming with Value-Dependent Types
-
Contributors:Swamy, N. ( author ) / Chen, J. ( author ) / Fournet, C. ( author ) / Strub, P.-Y. ( author ) / Bhargavan, K. ( author ) / Yang, J. ( author )
-
Conference:ACM SIGPLAN international conference; 16th, Proceedings of the 2011 ACM SIGPLAN international conference on functional programming: ICFP'11 ; 2011 ; Tokyo, Japan
-
Published in:Proceedings of the 2011 ACM SIGPLAN international conference on functional programming: ICFP'11 , 9 ; 266-278ACM SIGPLAN NOTICES ; 46, 9 ; 266-278
-
Publisher:
- New search for: ACM
-
Publication date:2011-01-01
-
Size:13 pages
-
ISSN:
-
Type of media:Conference paper
-
Type of material:Print
-
Language:English
-
Keywords:
-
Source:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.