Future Work
Resource accounting & GC
Formal analysis of Alta type system
Fluke & Alta integration
Alta-specific applications
Previous slide
Next slide
Back to first slide
View graphic version