Practical Foundations for Programming Languages by Robert Harper

Author:Robert Harper [Harper, Robert]
Language: eng
Format: azw3, epub, pdf
Publisher: Cambridge University Press
Published: 2016-04-13T16:00:00+00:00

with a new class and a new method to obtain a new dispatch matrix of type

where and .

To add a new class to the dispatch matrix, we must specify the following information:1

1. The instance type of the new class .

2. The behavior of each method on an object of the new class , a function of type .

These data determine a new dispatch matrix such that the following conditions are satisfied:

1. For each and , the behavior is the same as the behavior .

2. For each , the behavior is given by .

Download

Copyright Disclaimer:
This site does not store any files on its server. We only index and link to content provided by other sites. Please contact the content providers to delete copyright contents if any and email us, we'll remove relevant links or contents immediately.