(Enter summary)
Abstract: Parametric polymorphism or generic programming has been supported by a number of programming languages.
Templates and generic parameters are most commonly used. When instantiated, templates and generic units
generate new functions, types, packages or modules. This paper shows a different approach to parametric
polymorphism in the frame of a new programming language called SIMPL. Polymorphic functions in SIMPL
carry two lists of parameters: the hidden parameters and the formal parameters. The... (Update)
Context of citations to this paper: More
...variable t specifies the storage element type. The actual values of n and t are specified when objects of this type are declared [Mudawwar 2000] There is a similarity and a difference between the lock and wait statements. The similarity is that both statements are used to...
Cited by: More
Thread Programming in SIMPL - Mudawwar (2000)
(Correct)
Active bibliography (related documents): More All
0.5: A Comparison of Ada and Java as a Foundation Teaching Language - Brosgol (1998)
(Correct)
0.1: Signatures: A C++ Extension for Type Abstraction and Subtype.. - Baumgartner (1994)
(Correct)
0.1: The Design of the E Programming Language - Richardson, Carey, Schuh (1989)
(Correct)
Similar documents based on text: More All
0.4: XTPVM : An Extended Threaded Parallel Virtual Machine - Abdel-Radi, Mudawwar (1998)
(Correct)
0.4: A Switch-Free Router for - Ary Way Networks
(Correct)
0.4: k-ary m-way Networks: the Dual of k-ary n-cubes - Mudawwar
(Correct)
BibTeX entry: (Update)
Mudawwar M., Parameterized Types and Polymorphic Functions in SIMPL, in Proceedings of the 8 th International Conference on AI Applications, Feb. 2000. http://citeseer.ist.psu.edu/mudawwar00parameterized.html More
@misc{ mudawwar00parameterized,
author = "M. Mudawwar",
title = "Parameterized Types and Polymorphic Functions in SIMPL",
text = "Mudawwar M., Parameterized Types and Polymorphic Functions in SIMPL, in
Proceedings of the 8 th International Conference on AI Applications, Feb.
2000.",
year = "2000",
url = "citeseer.ist.psu.edu/mudawwar00parameterized.html" }
Citations (may not include all citations):
1074
The definition of Standard ML (context) - Milner, Tofte et al. - 1989
1002
Programming Language (context) - Stroustrup - 1997
186
Compiling Polymorphism using Intensional Type Analysis
- Harper, Morrisett - 1995
162
Unboxed Objects and Polymorphic Typing
- Leroy - 1992
90
Type Systems
- Cardelli - 1997 ACM DBLP
90
On Understanding Types, Data Abstraction, and Polymorphism
- Cardelli, Wegner - 1985
79
A type-based compiler for standard ML
- Shao, Appel - 1995 ACM DBLP
42
Compiling a Functional Language
- Cardelli - 1984
42
Rationale for the Design of the ADA Programming Language (context) - Ichbiah - 1979
22
Programming in Modula-2 (context) - Wirth - 1985
13
Parameterized Types for C (context) - Stroustrup - 1988
10
Modula-3 Language Definition (context) - Cardelli, Donahue et al. - 1992 ACM DBLP
9
Miranda: the Craft of Functional Programming (context) - Thompson - 1995
9
Modern Compiler Implementation (context) - Appel - 1998 ACM
2
Ada 95 From the Beginning (context) - Skansholm - 1997
1
SIMPL: Language Definition (context) - Mudawwar - 1998
Documents on the same site (http://www.cs.aucegypt.edu/mudawwar/publications/publications.htm): More
k-ary m-way Networks: the Dual of k-ary n-cubes - Mudawwar
(Correct)
Region Broadcasting in - Ary Way Networks
(Correct)
Multicode: A Truly Multilingual Approach to Text Encoding - Mudawwar
(Correct)
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