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

Group by: Creator's name | Item Type | Date | No Grouping

Number of items: 3.

Conference or workshop item

Castro-Perez, David, Paviotti, Marco, Vollmer, Michael (2024) Mechanising Recursion Schemes with Magic-Free Coq Extraction. In: Mechanising Recursion Schemes with Magic-Free Coq Extraction. . (In press) (doi:10.4230/LIPIcs.CVIT.2016.23) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (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 Mon Apr 22 19:50:23 2024 BST.