Skip to main content
Article thumbnail
Location of Repository

Author manuscript, published in "Proceedings of the 7th Asian Symposium on Programming Languages and Systems, Korea, Republic Of (2009)" On stratified regions

By Roberto M. Amadio and Universit√© Paris Diderot (paris


Type and effect systems are a tool to analyse statically the behaviour of programs with effects. We present a proof based on the so called reducibility candidates that a suitable stratification of the type and effect system entails the termination of the typable programs. The proof technique covers a simply typed, multi-threaded, call-by-value lambda-calculus, equipped with a variety of scheduling (preemptive, cooperative) and interaction mechanisms (references, channels, signals)

Year: 2009
OAI identifier: oai:CiteSeerX.psu:
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • (external link)
  • http://hal.archives-ouvertes.f... (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.