a type of theater that stages productions during the summer season, often employing a resident company of actors who perform multiple shows over the course of several weeks or months