Conclusion (2/2): Future Work

• Develop a (partial) type inference algorithm

• Apply to practical concurrent languages

• Utilize for compile-time optimization

Prototype type checker available at:

http://www.is.s.u-tokyo.ac.jp /~sumii/pub/

Previous slide

Back to first slide

View graphic version