Abstract Data Types without the Types. Dedicated to David Turner on the occasion of his 70'th birthday

Philip Wadler

Abstract Data Types without the Types. Dedicated to David Turner on the occasion of his 70'th birthday

Philip Wadler

Research output: Contribution to journal › Article › peer-review

Abstract

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

Original language	English
Pages (from-to)	5-20
Number of pages	16
Journal	Journal of Universal Computer Science (J.UCS)
Volume	23
Issue number	1
Publication status	Published - 1 Jan 2017

Access to Document

jucs_23_01_0005_0020_wadlerFinal published version, 97.9 KB

http://www.jucs.org/jucs_23_1/abstract_data_types_without

From Data Types to Session Types - A Basis for Concurrency and Distribution
Wadler, P. (Principal Investigator)
EPSRC
20/05/13 → 19/11/20
Project: Research

Cite this

@article{328661efc8e14dea8001bf1339e88281,

title = "Abstract Data Types without the Types. Dedicated to David Turner on the occasion of his 70'th birthday",

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

author = "Philip Wadler",

year = "2017",

month = jan,

day = "1",

language = "English",

volume = "23",

pages = "5--20",

journal = "Journal of Universal Computer Science (J.UCS)",

issn = "0948-695x",

publisher = "Institut f{\"u}r Informationssysteme und Computer Medien",

number = "1",

}

TY - JOUR

T1 - Abstract Data Types without the Types. Dedicated to David Turner on the occasion of his 70'th birthday

AU - Wadler, Philip

PY - 2017/1/1

Y1 - 2017/1/1

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

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

M3 - Article

SN - 0948-695x

VL - 23

SP - 5

EP - 20

JO - Journal of Universal Computer Science (J.UCS)

JF - Journal of Universal Computer Science (J.UCS)

IS - 1

ER -

Abstract Data Types without the Types. Dedicated to David Turner on the occasion of his 70'th birthday

Abstract

Access to Document

Fingerprint

Projects

From Data Types to Session Types - A Basis for Concurrency and Distribution

Cite this