Technical Reports (CIS)
Document Type
Technical Report
Date of this Version
November 2005
Abstract
Type systems commonly used in practice today fail to capture essential aspects of program behavior: The effects and dependencies of the programs. In this paper, we examine a prototypical effect type system in the style of Gifford et al., and a canonical example of a dependency type system based upon the work of Zdancewic. Finally, we show how these two type systems can be embedded in a more general framework, a monadic type system as developed by Pfenning and Davies.
COinS
Date Posted: 20 February 2007
Comments
University of Pennsylvania Department of Computer and Information Science Technical Report No. MS-CIS-05-05.