Computer Science – Programming Languages
Scientist
Computer Science
Programming Languages
Scientist
Dipartimento di Informatica, Universit`a degli Studi di Torino, Torino, Italy
University of Urbino
Università di Torino
Dipartimento di Informatica, Università di Torino, Italy
On Global Types and Multi-Party Session
Polymorphic Endpoint Types for Copyless Message Passing
Session Types = Intersection Types + Union Types
Session Types at the Mirror
Typing Copyless Message Passing
No associations
LandOfFree
Luca Padovani does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with Luca Padovani, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Luca Padovani will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-175197