2012/Developing and Using Pluggable Type Systems

From Open Source Bridge Wiki
Jump to: navigation, search

A pluggable type system extends a language’s built-in type system to
confer additional compile-time guarantees. We will explain the theory and
practice of pluggable types.

Speakers: Werner Dietl, Michael Ernst

Return to this session's details

Contributed notes

Project Page: http://types.cs.washington.edu/checker-framework/

Similar Projects: