Computer Science – Programming Languages
Scientist
Computer Science
Programming Languages
Scientist
PPS, INRIA Paris - Rocquencourt
Certifying and reasoning on cost annotations of functional programs
Certifying cost annotations in compilers
No associations
LandOfFree
Yann Regis-Gianas does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with Yann Regis-Gianas, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Yann Regis-Gianas will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-340405