M. Tullsen. The zip calculus. In Fifth International Conference on Mathematics of Program Construction (MPC 2000). Springer-Verlag, July 2000. 16  Home/Search   Document Details and Download   Summary   Related Articles   Check

.... whenever it inputs a boolean value, 2 The expression arity polymorphism was used already by others, e.g. Moggi [Mog00] to describe similar though quite different in some respects situations in functional programming languages (also addressed in Tullsen s recent work on the Zip Calculus [Tul00]) 2 the execution of the entire process enclosed in the ambient m can proceed safely. What takes place in the ambient m is a case of what we shall call orderly communication 3 . Of the four cases above, perhaps 3 and certainly 4 are arguably excluded from what polymorphism has usually ....

M. Tullsen. The zip calculus. In Fifth International Conference on Mathematics of Program Construction (MPC

....shall call orderly communication 3 . 2 The expression arity polymorphism was used already by others, e.g. Moggi [Mog00] to describe similar though quite different in some respects situations in functional programming languages (also addressed in Tullsen s recent work on the Zip Calculus [Tul00]) 3 We thank Benjamin Pierce for suggesting the apt expression orderly communication . 2 Of the four cases above, perhaps 3 and certainly 4 are arguably excluded from what polymorphism has usually meant. Nevertheless, these two cases allow the same ambient to hold different topics of ....

M. Tullsen. The zip calculus. In Fifth International Conference on Mathematics of Program Construction (MPC

.... whenever it inputs a boolean value, 2 The expression arity polymorphism was used already by others, e.g. Moggi [Mog00] to describe similar though quite different in some respects situations in functional programming languages (also addressed in Tullsen s recent work on the Zip Calculus [Tul00] 2 the execution of the entire process enclosed in the ambient m can proceed safely. What takes place in the ambient m is a case of what we shall call orderly communication 3 . Of the four cases above, perhaps 3 and certainly 4 are arguably excluded from what polymorphism has usually ....

M. Tullsen. The zip calculus. In Fifth International Conference on Mathematics of Program Construction (MPC 2000). Springer-Verlag, July 2000.

....3 and 4 as cases of polymorphic ambients. 2 The expression arity polymorphism was used already by others to describe similar situations, though quite different in some respects, in particular in functional programming languages. See, for example, Tullsen s recent work on the Zip Calculus [Tul00] 3 We thank Benjamin Pierce for suggesting the apt expression orderly communication . 2 1.2 Which Cases to Consider The four cases are listed from most studied to least studied. The first case, ML style parametric polymorphism, has been studied for some 25 years. It has given rise to an ....

M. Tullsen. The zip calculus. In Fifth International Conference on Mathematics of Program Construction (MPC 2000). Springer-Verlag, July 2000.

....3 and 4 as cases of polymorphic ambients. 2 The expression arity polymorphism was used already by others to describe similar situations, though quite different in some respects, in particular in functional programming languages. See, for example, Tullsen s recent work on the Zip Calculus [Tul00] 3 We thank Benjamin Pierce for suggesting the apt expression orderly communication . 2 1.2 Which Cases to Consider The four cases are listed from most studied to least studied. The first case, ML style parametric polymorphism, has been studied for some 25 years. It has given rise to an ....

M. Tullsen. The zip calculus. In Fifth International Conference on Mathematics of Program Construction (MPC 2000). Springer-Verlag, July 2000. 16

No context found.

M. Tullsen. The zip calculus. In Fifth International Conference on Mathematics of Program Construction (MPC 2000). Springer-Verlag, July 2000. 16

No context found.

M. Tullsen. The zip calculus. In Fifth International Conference on Mathematics of Program Construction (MPC

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC