>
Fa
  |  
Ar
  |  
En
Abstract data types without the types
نویسنده
wadler p.
منبع
journal of universal computer science - 2017 - دوره : 23 - شماره : 1 - صفحه:5 -20
چکیده
The data abstraction mechanism of miranda may be adapted to a dynamically typed programming language by applying ideas from gradual typing. © j.ucs.
کلیدواژه
Abstract data type; Gradual typing; Haskell; Information hiding; Miranda
آدرس
edinburgh university, United Kingdom
Authors
Copyright 2023
Islamic World Science Citation Center
All Rights Reserved