Inductive-data-type Systems

Computer Science – Logic in Computer Science

Scientific paper

Rate now

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Details

Scientific paper

10.1016/S0304-3975(00)00347-9

In a previous work (``Abstract Data Type Systems'', TCS 173(2), 1997), the last two authors presented a combined language made of a (strongly normalizing) algebraic rewrite system and a typed lambda-calculus enriched by pattern-matching definitions following a certain format, called the ``General Schema'', which generalizes the usual recursor definitions for natural numbers and similar ``basic inductive types''. This combined language was shown to be strongly normalizing. The purpose of this paper is to reformulate and extend the General Schema in order to make it easily extensible, to capture a more general class of inductive types, called ``strictly positive'', and to ease the strong normalization proof of the resulting system. This result provides a computation model for the combination of an algebraic specification language based on abstract data types and of a strongly typed functional language with strictly positive inductive types.

No associations

LandOfFree

Say what you really think

Search LandOfFree.com for scientists and scientific papers. Rate them and share your experience with other people.

Rating

Inductive-data-type Systems does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Inductive-data-type Systems, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Inductive-data-type Systems will most certainly appreciate the feedback.

Rate now

     

Profile ID: LFWR-SCP-O-578718

  Search
All data on this website is collected from public sources. Our data reflects the most accurate information available at the time of publication.