Read/Search this Article
Abstract
In designing a set of transformation rules for Flat GHC programs, we were faced with the problem of justifying them on an appropriate semantic model. This paper informally describes the semantic model we designed for. that purpose. The full description of the semantics will be found in [1].
Journal
- 全国大会講演論文集 [List of Volumes]
-
全国大会講演論文集 第37回昭和63年後期(1), 19-20, 1988-09-12 [Table of Contents]
Information Processing Society of Japan (IPSJ)
