Abstract Data Types without the Types

被引：0

作者：

Wadler, Philip ^{[1
]}

机构：

[1] Univ Edinburgh, Edinburgh EH8 9YL, Midlothian, Scotland

来源：

基金：

英国工程与自然科学研究理事会;

关键词：

abstract data type; information hiding; gradual typing; Miranda; Haskell;

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

The data abstraction mechanism of Miranda may be adapted to a dynamically typed programming language by applying ideas from gradual typing.

引用

页码：5 / 20

页数：16

共 50 条

[1] ABSTRACT OBJECT TYPES =ABSTRACT KNOWLEDGE TYPES+ABSTRACT DATA TYPES+ABSTRACT CONNECTOR TYPES
PARK, HS
JOURNAL OF OBJECT-ORIENTED PROGRAMMING, 1991, 4 (03): : 37 - &
[2] ABSTRACT DATA TYPES
Laskov, Lasko M.
MATHEMATICS AND INFORMATICS, 2020, 63 (06): : 608 - 621
[3] A logic for abstract data types as existential types
Poll, E
Zwanenburg, J
TYPED LAMBDA CALCULI AND APPLICATIONS, 1999, 1581 : 310 - 324
[4] Abstract Data Types.
Zoller, P.
Angewandte Informatik/Applied Informatics, 1981, 23 (10): : 429 - 431
[5] Programs are abstract data types
Erwig, M
16TH ANNUAL INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2001), PROCEEDINGS, 2001, : 400 - 403
[6] Distributed abstract data types
Picco, Gian Pietro
Migliavacca, Matteo
Murphy, Amy L.
Roman, Gruia-Catalin
ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2006: COOPIS, DOA, GADA, AND ODBASE PT 2, PROCEEDINGS, 2006, 4276 : 1594 - 1612
[7] ABSTRACT-DATA-TYPES
BENTLEY, J
GRIES, OD
COMMUNICATIONS OF THE ACM, 1987, 30 (04) : 284 - 290
[8] ABSTRACT-DATA-TYPES AND TYPE THEORY - THEORIES AS TYPES
DEQUEIROZ, RJGB
MAIBAUM, TSE
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1991, 37 (02): : 149 - 166
[9] Categorical programming with abstract data types
Erwig, M
ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, 1999, 1548 : 406 - 421
[10] Synthesis of programs in abstract data types
Avellone, A
Ferrari, M
Miglioli, P
LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 1999, 1559 : 81 - 100