Go backward to Typing Rules
Go up to Top
Go forward to Linear Type Annotation
Typing Rules
- Expression
-
p |- N: int |
p |- N: intexp
|
-
p |- L: intloc |
p |- @L: intexp
|
-
p |- E_1: intexp | p |- E_2: intexp |
p |-E_1+E_2: intexp
|
-
p |- E_1: intexp | p |- E_2: intexp |
p |-E_1=E_2: boolexp
|
-
p |- E: boolexp |
p |- not E: boolexp
|
- p |- I: Texp, if (I:Texp) in p
- Location:
- Numeral
Function invocation uses type assignment.
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: abstraction.tex,v 1.1 1996/03/05 08:55:21 schreine Exp schreine