First class file I/O

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1268, Issue , 1997, Pages 233-246

  Pil, Marco ^a  

^a RADBOUD UNIVERSITY NIJMEGEN   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; FILE ORGANIZATION;

CLASS FILE; DYNAMIC TYPE; FILE SYSTEMS; FUNCTIONAL LANGUAGES; POLYMORPHIC TYPES; RUNTIMES; TYPE SYSTEMS;

COMPUTATIONAL LINGUISTICS;

EID: 84957677402     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63237-9_28     Document Type: Conference Paper

References (8)

1. [ACP89] M. Abadi, L. Cardelli, B. Pierce, G. Plotkin. Dynamic typing in a statically typed language, ACM Transactions on Programming Languages and Systems 13(2):237-268, 1991.
2. [ACP91] M. Abadi, L. Cardelli, B. Pierce, D. Remy. Dynamic typing in polymorphic languages, In: Journal of Functional Programming 5(1):111-130, Cambridge University Press 1995.
3. [BS93] E. Barendsen and J. Smetsers. Uniqueness Typing for Functional Languages with'Gn2ph Rewriting Semantics, to appear in MSCS.
4. [CBC90] R. Connor, A.Brown Q Cutts, A. Dearle, R. Morrison and J. Rosenberg. Type Equivalence Checking in Persistent Object Systems, In: Implementing Persistent Object Bases pp.151-164, Morgan Kaufman 1990
5. [PE93] M. van Eekelen, M. Plasmeijer. Functional Programming and Parallel Graph Rewriting, Addison-Wesley 1993.
6. [PE97] M. van Eekelen, M. Plasmeijer. Concurrent Clean 1.0 language report, Computing Science Institute, University of Nijmegen, http://www.cs.kun.nlrclean/Clean.Cleanbook.html.
7. [LM93] X. Leroy, M. Mauny. Dynamics in ML, In: Journal of Functional Programming 3(4), Cambridge University Press 1995.
8. [1VIBC89] R. Morrison, A.Brown R. Carrick, R. Connor, A. Dearle, and M. Atkinson. The Napier Type System, In: Persistent Object Systems pp.3-18, Springer-Verlag 1989.