C.B. Jay. Denotational semantics of shape: Past, present and future. In A. Scedrov and A. Jung, editors, Fifteenth Conference on the Mathematical Foundations of Programming Semantics (MFPS XV) Tulane University New Orleans, LA USA April 28 - May 1,  Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Partial Evaluation of Shaped Programs: Experience with FISh - Jay (1999) (1 citation) Self-citation (Jay) (Correct)
....type ffi, representing sizes, facts, etc. The latter has only one value, representing the common shape of all ffi values. For example, 3 : size compared to int shape : #[int] Many of the type distinctions above originate in the semantics of arrays introduced in [Jay94] and further developed in [Jay99]. However, their motivation from a programming perspective is not so compelling. Future versions of FISh may simplify the type system, and hence the term structure, but this will produce fresh semantic challenges. Now let us consider the phrase types. Phrase type variables (meta variable U : P) ....
C.B. Jay. Denotational semantics of shape: Past, present and future. In A. Scedrov and A. Jung, editors, Fifteenth Conference on the Mathematical Foundations of Programming Semantics (MFPS XV) Tulane University New Orleans, LA USA April 28 - May 1,
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