Skip to main content

Items where Author, Editor or other role is "Castro-Perez, David"

Group by: Creator's name | Item Type | Date | No Grouping
Jump to: C
Number of items: 1.


Castro-Perez, David, Ferreira, Francisco, Gheri, Lorenzo, Yoshida, Nobuko (2021) Zooid: A DSL for Certified Multiparty Computation. In: PLDI 2021: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation. . ACM ISBN 978-1-4503-8391-2. (doi:10.1145/3453483.3454041) (KAR id:88249)
[thumbnail of main.pdf]

This list was generated on Wed Jan 19 20:03:28 2022 GMT.