Next week

• Type inference (Lackwit)

• Program representations for tool support

Previous slide

Back to first slide

View graphic version