PhD thesis, Dept of Computer Science, Stanford University, March 1992. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
On Understanding Types, Data Abstraction, and Polymorphism - Cardelli, Wegner (1985) (90 citations) (Correct)
....has to do with type checking side effects. Some restrictions have to be imposed to prevent violating the type system by storing and fetching polymorphic objects in memory locations. Examples can be found in [Gordon 79] and [Albano 83] There are several known practical solutions to this problem [Damas 84] Milner 84] which trade off flexibility with complexity of the type checker. 8. Hierarchical Classification of Type Systems Type systems can be classified in terms of the type operators they admit. Figure 2 is a (partial) diagram of type systems ordered by generality. Each box in the diagram ....
PhD Thesis, Dept of Computer Science, University of Edinburgh, Scotland.
Micro Planning for Mechanical Assembly Operations - Gupta Paredis Brown (1998) (Correct)
No context found.
PhD thesis, Dept of Computer Science, Stanford University, March 1992.
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