Dynamic types and type dependent functions

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

Volumn 1595, Issue , 1999, Pages 169-185

  Pil, Marco ^a  

^a RADBOUD UNIVERSITY NIJMEGEN   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

DEPENDENT FUNCTIONS; DYNAMIC TYPE; DYNAMIC TYPING; FUNCTIONAL LEVELS; POLYMORPHIC OBJECTS;

DYNAMICS;

EID: 84957029412     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48515-5_11     Document Type: Conference Paper

References (9)

1. M. Abadi, L. Cardelli, B. Pierce, and G. Plotkin. Dynamic Typing in a Statically Typed Language. ACM Transactions on Programming Languages and Systems, 13(2):237-268, 1991.
2. M. Abadi, L. Cardelli, B. Pierce, and D. Rémy. Dynamic Typing in Polymorphic Languages. Journal of Functional Programming, 5(1):111-130, 1995.
3. E. Barendsen and J. Smetsers. Uniqueness Typing for Functional Languages with Graph Rewriting Semantics. Mathematical Structures in Computer Science, 6:579-612, 1996.
4. A.J.T. Davie, K. Hammond, and J.-J. Quintela. Efficient Persistent Haskell, In Draft Proc. 10th International Workshop on the Implementation of Functional Languages (IFL ’98), London, England, pages 183-194, 1998.
5. M.C.J.D. van Eekelen and M.J. Plasmeijer. Functional Programming and Parallel Graph Rewriting, Addison-Wesley, 1993.
6. M.J.C.D. van Eekelen and M.J. Plasmeijer. Concurrent Clean 1.0 Language Report, Computing Science Institute, University of Nijmegen, http://www.cs.kun.nl/~clean/Clean.Cleanbook.html.
7. X. Leroy and M. Mauny. Dynamics in ML. Journal of Functional Programming, 3(4):431-463, 1993.
8. M. Pil. First Class File I/O. In Proc. 8th. International Workshop on the Implementation of Functional Languages (IFL ’96), Bad Godesberg, Germany, September 1996, volume 1268 of LNCS, pages 233-246. Springer-Verlag, 1997.
9. J. Robinson. A Machine-Oriented Logic Based on the Resolution Principle. Journal of the Association For Computing Machinery 12:23-41, 1965.