Towards Safe Modular Extensible Objects
				  by
		  Craig Chambers and Gary T. Leavens
				   
			       Abstract

We discuss the module system of the Cecil language, which has a
flexible means of customizing views of objects.  Multi-methods with
invocation based on static scoping, a module system, and extension
modules are used to allow object extension while allowing type safety.