A Description of the Cedar Language - Microsoft

Download PDF
6 downloads 2941 Views 10MB Size Report
Comment
a constructor for a declaration or binding—[x1 INT~3. y: REAL~3.14]). if a value is given for each free name in an expression. then it can be evaluated to produce ...