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: 4.

C

Castro-Perez, David, Ferreira, Francisco, Jongmans, Sung-Shik (2025) A Synthetic Reconstruction of Multiparty Session Types. In: Proceedings of the ACM on Programming Languages. POPL '26: Proceedings of the 53rd ACM SIGPLAN Symposium on Principles of Programming Languages. . Association for Computing Machinery (In press) (KAR id:111985)

Castro-Perez, David, Paviotti, Marco, Vollmer, Michael (2025) Program Optimisations via Hylomorphisms for Extraction of Executable Code. In: Program Optimisations via Hylomorphisms for Extraction of Executable Code. . (KAR id:105615)

Castro-Perez, David, Yoshida, Nobuko (2023) Dynamically Updatable Multiparty Session Protocols. In: 37th European Conference on Object-Oriented Programming (ECOOP 2023). Leibniz International Proceedings in Informatics (LIPIcs) , 263. Dagstuhl, Saarbrücken ISBN 978-3-95977-281-5. (doi:10.4230/LIPIcs.ECOOP.2023.6) (KAR id:100746)

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)

This list was generated on Fri Dec 5 19:26:31 2025 GMT.