Go backward to Summary (Typing Rules I)
Go up to Top
Go forward to Summary (Typing Rules III)

Summary (Typing Rules II)

Declaration:
- $P$ |- D₁: $P$ ₁dec $P$ |- D₂: $P$ ₂dec
  
  $P$ |- D₁,D₂: ( $P$ ₁ U $P$ ₂)dec
- $P$ |- D₁: $P$ ₁dec $P$ U $P$ |- D₂: $P$ ₂dec
  
  $P$ |- D₁;D₂: ( $P$ ₁ U $P$ ₂)dec
- $P$ |- N: $T$ int
  
  $P$ |- const I=N: {I:int}dec
- $P$ |- E: $T$ exp
  
  $P$ |- fun I=E: {I: $T$ exp}dec
- $P$ |- C: $T$ comm
  
  $P$ |- proc I=C: {I:comm}dec
- $P$ |- T: $D$ class
  
  $P$ |- var I:T: {I: $D$ }dec
- $P$ |- T: $D$ clas
  
  $P$ |- class I=T: {I: $D$ class}dec

Wolfgang.Schreiner@risc.uni-linz.ac.at

Id: abstraction2.tex,v 1.1 1996/04/10 07:30:13 schreine Exp schreine

Prev

Next