Subtyping Made Friendly
Feedback form is now closed.
Feedback Submitted
Speakers
Senior Researcher, Inria
I am senior researcher at Inria, France. In the past I worked on language design for distributed computation, type systems for integrating typed and untyped code in scripting languages, tool support for semantics, and concurrent computation on top of relaxed memory models. I discovered...
Read More →