Title
The type inference and coercion facilities in the scratchpad II interpreter
Abstract
The Scratchpad II system is an abstract datatype programming language, a compiler for the language, a library of packages of polymorphic functions and parametrized abstract datatypes, and an interpreter that provides sophisticated type inference and coercion facilities. Although originally designed for the implementation of symbolic mathematical algorithms, Scratchpad II is a general purpose programming language. This paper discusses aspects of the implementation of the interpreter and how it attempts to provide a user friendly and relatively weakly typed front end for the strongly typed programming language.
Year
DOI
Venue
1987
10.1145/960114.29656
Sigplan Notices
Keywords
Field
DocType
type inference,polymorphic function,scratchpad ii,scratchpad ii system,programming language,coercion facility,scratchpad ii interpreter,paper discusses aspect,abstract datatype programming language,general purpose programming language,front end,parametrized abstract datatypes,polymorphism
Programming language,Computer science,Compiler,Type inference,Theoretical computer science,Very high-level programming language,Strong and weak typing,General-purpose programming language,First-generation programming language,Programming language implementation,Language primitive
Conference
Volume
Issue
ISSN
22
7
0362-1340
ISBN
Citations 
PageRank 
0-89791-235-7
17
5.95
References 
Authors
1
2
Name
Order
Citations
PageRank
Robert S. Sutor17820.63
R. D. Jenks23636.14